#include "constantes_gpu.h"

const unsigned int PosNoeudsVariable[_M] ={
/* msg =      0, deg =  7 */    165,    554,    593,    759,   1140,   1248,   1344, 
/* msg =      1, deg =  7 */    166,    555,    594,    760,   1141,   1249,   1345, 
/* msg =      2, deg =  7 */    167,    556,    595,    761,   1142,   1250,   1346, 
/* msg =      3, deg =  7 */    168,    557,    596,    762,   1143,   1251,   1347, 
/* msg =      4, deg =  7 */    169,    558,    597,    763,   1144,   1252,   1348, 
/* msg =      5, deg =  7 */    170,    559,    598,    764,   1145,   1253,   1349, 
/* msg =      6, deg =  7 */    171,    560,    599,    765,   1146,   1254,   1350, 
/* msg =      7, deg =  7 */    172,    561,    600,    766,   1147,   1255,   1351, 
/* msg =      8, deg =  7 */    173,    562,    601,    767,   1148,   1256,   1352, 
/* msg =      9, deg =  7 */    174,    563,    602,    672,   1149,   1257,   1353, 
/* msg =     10, deg =  7 */    175,    564,    603,    673,   1150,   1258,   1354, 
/* msg =     11, deg =  7 */    176,    565,    604,    674,   1151,   1259,   1355, 
/* msg =     12, deg =  7 */    177,    566,    605,    675,   1056,   1260,   1356, 
/* msg =     13, deg =  7 */    178,    567,    606,    676,   1057,   1261,   1357, 
/* msg =     14, deg =  7 */    179,    568,    607,    677,   1058,   1262,   1358, 
/* msg =     15, deg =  7 */    180,    569,    608,    678,   1059,   1263,   1359, 
/* msg =     16, deg =  7 */    181,    570,    609,    679,   1060,   1264,   1360, 
/* msg =     17, deg =  7 */    182,    571,    610,    680,   1061,   1265,   1361, 
/* msg =     18, deg =  7 */    183,    572,    611,    681,   1062,   1266,   1362, 
/* msg =     19, deg =  7 */    184,    573,    612,    682,   1063,   1267,   1363, 
/* msg =     20, deg =  7 */    185,    574,    613,    683,   1064,   1268,   1364, 
/* msg =     21, deg =  7 */    186,    575,    614,    684,   1065,   1269,   1365, 
/* msg =     22, deg =  7 */    187,    480,    615,    685,   1066,   1270,   1366, 
/* msg =     23, deg =  7 */    188,    481,    616,    686,   1067,   1271,   1367, 
/* msg =     24, deg =  7 */    189,    482,    617,    687,   1068,   1272,   1368, 
/* msg =     25, deg =  7 */    190,    483,    618,    688,   1069,   1273,   1369, 
/* msg =     26, deg =  7 */    191,    484,    619,    689,   1070,   1274,   1370, 
/* msg =     27, deg =  7 */     96,    485,    620,    690,   1071,   1275,   1371, 
/* msg =     28, deg =  7 */     97,    486,    621,    691,   1072,   1276,   1372, 
/* msg =     29, deg =  7 */     98,    487,    622,    692,   1073,   1277,   1373, 
/* msg =     30, deg =  7 */     99,    488,    623,    693,   1074,   1278,   1374, 
/* msg =     31, deg =  7 */    100,    489,    624,    694,   1075,   1279,   1375, 
/* msg =     32, deg =  7 */    101,    490,    625,    695,   1076,   1280,   1376, 
/* msg =     33, deg =  7 */    102,    491,    626,    696,   1077,   1281,   1377, 
/* msg =     34, deg =  7 */    103,    492,    627,    697,   1078,   1282,   1378, 
/* msg =     35, deg =  7 */    104,    493,    628,    698,   1079,   1283,   1379, 
/* msg =     36, deg =  7 */    105,    494,    629,    699,   1080,   1284,   1380, 
/* msg =     37, deg =  7 */    106,    495,    630,    700,   1081,   1285,   1381, 
/* msg =     38, deg =  7 */    107,    496,    631,    701,   1082,   1286,   1382, 
/* msg =     39, deg =  7 */    108,    497,    632,    702,   1083,   1287,   1383, 
/* msg =     40, deg =  7 */    109,    498,    633,    703,   1084,   1288,   1384, 
/* msg =     41, deg =  7 */    110,    499,    634,    704,   1085,   1289,   1385, 
/* msg =     42, deg =  7 */    111,    500,    635,    705,   1086,   1290,   1386, 
/* msg =     43, deg =  7 */    112,    501,    636,    706,   1087,   1291,   1387, 
/* msg =     44, deg =  7 */    113,    502,    637,    707,   1088,   1292,   1388, 
/* msg =     45, deg =  7 */    114,    503,    638,    708,   1089,   1293,   1389, 
/* msg =     46, deg =  7 */    115,    504,    639,    709,   1090,   1294,   1390, 
/* msg =     47, deg =  7 */    116,    505,    640,    710,   1091,   1295,   1391, 
/* msg =     48, deg =  7 */    117,    506,    641,    711,   1092,   1296,   1392, 
/* msg =     49, deg =  7 */    118,    507,    642,    712,   1093,   1297,   1393, 
/* msg =     50, deg =  7 */    119,    508,    643,    713,   1094,   1298,   1394, 
/* msg =     51, deg =  7 */    120,    509,    644,    714,   1095,   1299,   1395, 
/* msg =     52, deg =  7 */    121,    510,    645,    715,   1096,   1300,   1396, 
/* msg =     53, deg =  7 */    122,    511,    646,    716,   1097,   1301,   1397, 
/* msg =     54, deg =  7 */    123,    512,    647,    717,   1098,   1302,   1398, 
/* msg =     55, deg =  7 */    124,    513,    648,    718,   1099,   1303,   1399, 
/* msg =     56, deg =  7 */    125,    514,    649,    719,   1100,   1304,   1400, 
/* msg =     57, deg =  7 */    126,    515,    650,    720,   1101,   1305,   1401, 
/* msg =     58, deg =  7 */    127,    516,    651,    721,   1102,   1306,   1402, 
/* msg =     59, deg =  7 */    128,    517,    652,    722,   1103,   1307,   1403, 
/* msg =     60, deg =  7 */    129,    518,    653,    723,   1104,   1308,   1404, 
/* msg =     61, deg =  7 */    130,    519,    654,    724,   1105,   1309,   1405, 
/* msg =     62, deg =  7 */    131,    520,    655,    725,   1106,   1310,   1406, 
/* msg =     63, deg =  7 */    132,    521,    656,    726,   1107,   1311,   1407, 
/* msg =     64, deg =  7 */    133,    522,    657,    727,   1108,   1312,   1408, 
/* msg =     65, deg =  7 */    134,    523,    658,    728,   1109,   1313,   1409, 
/* msg =     66, deg =  7 */    135,    524,    659,    729,   1110,   1314,   1410, 
/* msg =     67, deg =  7 */    136,    525,    660,    730,   1111,   1315,   1411, 
/* msg =     68, deg =  7 */    137,    526,    661,    731,   1112,   1316,   1412, 
/* msg =     69, deg =  7 */    138,    527,    662,    732,   1113,   1317,   1413, 
/* msg =     70, deg =  7 */    139,    528,    663,    733,   1114,   1318,   1414, 
/* msg =     71, deg =  7 */    140,    529,    664,    734,   1115,   1319,   1415, 
/* msg =     72, deg =  7 */    141,    530,    665,    735,   1116,   1320,   1416, 
/* msg =     73, deg =  7 */    142,    531,    666,    736,   1117,   1321,   1417, 
/* msg =     74, deg =  7 */    143,    532,    667,    737,   1118,   1322,   1418, 
/* msg =     75, deg =  7 */    144,    533,    668,    738,   1119,   1323,   1419, 
/* msg =     76, deg =  7 */    145,    534,    669,    739,   1120,   1324,   1420, 
/* msg =     77, deg =  7 */    146,    535,    670,    740,   1121,   1325,   1421, 
/* msg =     78, deg =  7 */    147,    536,    671,    741,   1122,   1326,   1422, 
/* msg =     79, deg =  7 */    148,    537,    576,    742,   1123,   1327,   1423, 
/* msg =     80, deg =  7 */    149,    538,    577,    743,   1124,   1328,   1424, 
/* msg =     81, deg =  7 */    150,    539,    578,    744,   1125,   1329,   1425, 
/* msg =     82, deg =  7 */    151,    540,    579,    745,   1126,   1330,   1426, 
/* msg =     83, deg =  7 */    152,    541,    580,    746,   1127,   1331,   1427, 
/* msg =     84, deg =  7 */    153,    542,    581,    747,   1128,   1332,   1428, 
/* msg =     85, deg =  7 */    154,    543,    582,    748,   1129,   1333,   1429, 
/* msg =     86, deg =  7 */    155,    544,    583,    749,   1130,   1334,   1430, 
/* msg =     87, deg =  7 */    156,    545,    584,    750,   1131,   1335,   1431, 
/* msg =     88, deg =  7 */    157,    546,    585,    751,   1132,   1336,   1432, 
/* msg =     89, deg =  7 */    158,    547,    586,    752,   1133,   1337,   1433, 
/* msg =     90, deg =  7 */    159,    548,    587,    753,   1134,   1338,   1434, 
/* msg =     91, deg =  7 */    160,    549,    588,    754,   1135,   1339,   1435, 
/* msg =     92, deg =  7 */    161,    550,    589,    755,   1136,   1340,   1436, 
/* msg =     93, deg =  7 */    162,    551,    590,    756,   1137,   1341,   1437, 
/* msg =     94, deg =  7 */    163,    552,    591,    757,   1138,   1342,   1438, 
/* msg =     95, deg =  7 */    164,    553,    592,    758,   1139,   1343,   1439, 
/* msg =     96, deg =  7 */    360,    458,    495,    735,   1056,   1344,   1440, 
/* msg =     97, deg =  7 */    361,    459,    496,    736,   1057,   1345,   1441, 
/* msg =     98, deg =  7 */    362,    460,    497,    737,   1058,   1346,   1442, 
/* msg =     99, deg =  7 */    363,    461,    498,    738,   1059,   1347,   1443, 
/* msg =    100, deg =  7 */    364,    462,    499,    739,   1060,   1348,   1444, 
/* msg =    101, deg =  7 */    365,    463,    500,    740,   1061,   1349,   1445, 
/* msg =    102, deg =  7 */    366,    464,    501,    741,   1062,   1350,   1446, 
/* msg =    103, deg =  7 */    367,    465,    502,    742,   1063,   1351,   1447, 
/* msg =    104, deg =  7 */    368,    466,    503,    743,   1064,   1352,   1448, 
/* msg =    105, deg =  7 */    369,    467,    504,    744,   1065,   1353,   1449, 
/* msg =    106, deg =  7 */    370,    468,    505,    745,   1066,   1354,   1450, 
/* msg =    107, deg =  7 */    371,    469,    506,    746,   1067,   1355,   1451, 
/* msg =    108, deg =  7 */    372,    470,    507,    747,   1068,   1356,   1452, 
/* msg =    109, deg =  7 */    373,    471,    508,    748,   1069,   1357,   1453, 
/* msg =    110, deg =  7 */    374,    472,    509,    749,   1070,   1358,   1454, 
/* msg =    111, deg =  7 */    375,    473,    510,    750,   1071,   1359,   1455, 
/* msg =    112, deg =  7 */    376,    474,    511,    751,   1072,   1360,   1456, 
/* msg =    113, deg =  7 */    377,    475,    512,    752,   1073,   1361,   1457, 
/* msg =    114, deg =  7 */    378,    476,    513,    753,   1074,   1362,   1458, 
/* msg =    115, deg =  7 */    379,    477,    514,    754,   1075,   1363,   1459, 
/* msg =    116, deg =  7 */    380,    478,    515,    755,   1076,   1364,   1460, 
/* msg =    117, deg =  7 */    381,    479,    516,    756,   1077,   1365,   1461, 
/* msg =    118, deg =  7 */    382,    384,    517,    757,   1078,   1366,   1462, 
/* msg =    119, deg =  7 */    383,    385,    518,    758,   1079,   1367,   1463, 
/* msg =    120, deg =  7 */    288,    386,    519,    759,   1080,   1368,   1464, 
/* msg =    121, deg =  7 */    289,    387,    520,    760,   1081,   1369,   1465, 
/* msg =    122, deg =  7 */    290,    388,    521,    761,   1082,   1370,   1466, 
/* msg =    123, deg =  7 */    291,    389,    522,    762,   1083,   1371,   1467, 
/* msg =    124, deg =  7 */    292,    390,    523,    763,   1084,   1372,   1468, 
/* msg =    125, deg =  7 */    293,    391,    524,    764,   1085,   1373,   1469, 
/* msg =    126, deg =  7 */    294,    392,    525,    765,   1086,   1374,   1470, 
/* msg =    127, deg =  7 */    295,    393,    526,    766,   1087,   1375,   1471, 
/* msg =    128, deg =  7 */    296,    394,    527,    767,   1088,   1376,   1472, 
/* msg =    129, deg =  7 */    297,    395,    528,    672,   1089,   1377,   1473, 
/* msg =    130, deg =  7 */    298,    396,    529,    673,   1090,   1378,   1474, 
/* msg =    131, deg =  7 */    299,    397,    530,    674,   1091,   1379,   1475, 
/* msg =    132, deg =  7 */    300,    398,    531,    675,   1092,   1380,   1476, 
/* msg =    133, deg =  7 */    301,    399,    532,    676,   1093,   1381,   1477, 
/* msg =    134, deg =  7 */    302,    400,    533,    677,   1094,   1382,   1478, 
/* msg =    135, deg =  7 */    303,    401,    534,    678,   1095,   1383,   1479, 
/* msg =    136, deg =  7 */    304,    402,    535,    679,   1096,   1384,   1480, 
/* msg =    137, deg =  7 */    305,    403,    536,    680,   1097,   1385,   1481, 
/* msg =    138, deg =  7 */    306,    404,    537,    681,   1098,   1386,   1482, 
/* msg =    139, deg =  7 */    307,    405,    538,    682,   1099,   1387,   1483, 
/* msg =    140, deg =  7 */    308,    406,    539,    683,   1100,   1388,   1484, 
/* msg =    141, deg =  7 */    309,    407,    540,    684,   1101,   1389,   1485, 
/* msg =    142, deg =  7 */    310,    408,    541,    685,   1102,   1390,   1486, 
/* msg =    143, deg =  7 */    311,    409,    542,    686,   1103,   1391,   1487, 
/* msg =    144, deg =  7 */    312,    410,    543,    687,   1104,   1392,   1488, 
/* msg =    145, deg =  7 */    313,    411,    544,    688,   1105,   1393,   1489, 
/* msg =    146, deg =  7 */    314,    412,    545,    689,   1106,   1394,   1490, 
/* msg =    147, deg =  7 */    315,    413,    546,    690,   1107,   1395,   1491, 
/* msg =    148, deg =  7 */    316,    414,    547,    691,   1108,   1396,   1492, 
/* msg =    149, deg =  7 */    317,    415,    548,    692,   1109,   1397,   1493, 
/* msg =    150, deg =  7 */    318,    416,    549,    693,   1110,   1398,   1494, 
/* msg =    151, deg =  7 */    319,    417,    550,    694,   1111,   1399,   1495, 
/* msg =    152, deg =  7 */    320,    418,    551,    695,   1112,   1400,   1496, 
/* msg =    153, deg =  7 */    321,    419,    552,    696,   1113,   1401,   1497, 
/* msg =    154, deg =  7 */    322,    420,    553,    697,   1114,   1402,   1498, 
/* msg =    155, deg =  7 */    323,    421,    554,    698,   1115,   1403,   1499, 
/* msg =    156, deg =  7 */    324,    422,    555,    699,   1116,   1404,   1500, 
/* msg =    157, deg =  7 */    325,    423,    556,    700,   1117,   1405,   1501, 
/* msg =    158, deg =  7 */    326,    424,    557,    701,   1118,   1406,   1502, 
/* msg =    159, deg =  7 */    327,    425,    558,    702,   1119,   1407,   1503, 
/* msg =    160, deg =  7 */    328,    426,    559,    703,   1120,   1408,   1504, 
/* msg =    161, deg =  7 */    329,    427,    560,    704,   1121,   1409,   1505, 
/* msg =    162, deg =  7 */    330,    428,    561,    705,   1122,   1410,   1506, 
/* msg =    163, deg =  7 */    331,    429,    562,    706,   1123,   1411,   1507, 
/* msg =    164, deg =  7 */    332,    430,    563,    707,   1124,   1412,   1508, 
/* msg =    165, deg =  7 */    333,    431,    564,    708,   1125,   1413,   1509, 
/* msg =    166, deg =  7 */    334,    432,    565,    709,   1126,   1414,   1510, 
/* msg =    167, deg =  7 */    335,    433,    566,    710,   1127,   1415,   1511, 
/* msg =    168, deg =  7 */    336,    434,    567,    711,   1128,   1416,   1512, 
/* msg =    169, deg =  7 */    337,    435,    568,    712,   1129,   1417,   1513, 
/* msg =    170, deg =  7 */    338,    436,    569,    713,   1130,   1418,   1514, 
/* msg =    171, deg =  7 */    339,    437,    570,    714,   1131,   1419,   1515, 
/* msg =    172, deg =  7 */    340,    438,    571,    715,   1132,   1420,   1516, 
/* msg =    173, deg =  7 */    341,    439,    572,    716,   1133,   1421,   1517, 
/* msg =    174, deg =  7 */    342,    440,    573,    717,   1134,   1422,   1518, 
/* msg =    175, deg =  7 */    343,    441,    574,    718,   1135,   1423,   1519, 
/* msg =    176, deg =  7 */    344,    442,    575,    719,   1136,   1424,   1520, 
/* msg =    177, deg =  7 */    345,    443,    480,    720,   1137,   1425,   1521, 
/* msg =    178, deg =  7 */    346,    444,    481,    721,   1138,   1426,   1522, 
/* msg =    179, deg =  7 */    347,    445,    482,    722,   1139,   1427,   1523, 
/* msg =    180, deg =  7 */    348,    446,    483,    723,   1140,   1428,   1524, 
/* msg =    181, deg =  7 */    349,    447,    484,    724,   1141,   1429,   1525, 
/* msg =    182, deg =  7 */    350,    448,    485,    725,   1142,   1430,   1526, 
/* msg =    183, deg =  7 */    351,    449,    486,    726,   1143,   1431,   1527, 
/* msg =    184, deg =  7 */    352,    450,    487,    727,   1144,   1432,   1528, 
/* msg =    185, deg =  7 */    353,    451,    488,    728,   1145,   1433,   1529, 
/* msg =    186, deg =  7 */    354,    452,    489,    729,   1146,   1434,   1530, 
/* msg =    187, deg =  7 */    355,    453,    490,    730,   1147,   1435,   1531, 
/* msg =    188, deg =  7 */    356,    454,    491,    731,   1148,   1436,   1532, 
/* msg =    189, deg =  7 */    357,    455,    492,    732,   1149,   1437,   1533, 
/* msg =    190, deg =  7 */    358,    456,    493,    733,   1150,   1438,   1534, 
/* msg =    191, deg =  7 */    359,    457,    494,    734,   1151,   1439,   1535, 
/* msg =    192, deg =  7 */    434,    536,    686,   1073,   1152,   1632,   1728, 
/* msg =    193, deg =  7 */    435,    537,    687,   1074,   1153,   1633,   1729, 
/* msg =    194, deg =  7 */    436,    538,    688,   1075,   1154,   1634,   1730, 
/* msg =    195, deg =  7 */    437,    539,    689,   1076,   1155,   1635,   1731, 
/* msg =    196, deg =  7 */    438,    540,    690,   1077,   1156,   1636,   1732, 
/* msg =    197, deg =  7 */    439,    541,    691,   1078,   1157,   1637,   1733, 
/* msg =    198, deg =  7 */    440,    542,    692,   1079,   1158,   1638,   1734, 
/* msg =    199, deg =  7 */    441,    543,    693,   1080,   1159,   1639,   1735, 
/* msg =    200, deg =  7 */    442,    544,    694,   1081,   1160,   1640,   1736, 
/* msg =    201, deg =  7 */    443,    545,    695,   1082,   1161,   1641,   1737, 
/* msg =    202, deg =  7 */    444,    546,    696,   1083,   1162,   1642,   1738, 
/* msg =    203, deg =  7 */    445,    547,    697,   1084,   1163,   1643,   1739, 
/* msg =    204, deg =  7 */    446,    548,    698,   1085,   1164,   1644,   1740, 
/* msg =    205, deg =  7 */    447,    549,    699,   1086,   1165,   1645,   1741, 
/* msg =    206, deg =  7 */    448,    550,    700,   1087,   1166,   1646,   1742, 
/* msg =    207, deg =  7 */    449,    551,    701,   1088,   1167,   1647,   1743, 
/* msg =    208, deg =  7 */    450,    552,    702,   1089,   1168,   1648,   1744, 
/* msg =    209, deg =  7 */    451,    553,    703,   1090,   1169,   1649,   1745, 
/* msg =    210, deg =  7 */    452,    554,    704,   1091,   1170,   1650,   1746, 
/* msg =    211, deg =  7 */    453,    555,    705,   1092,   1171,   1651,   1747, 
/* msg =    212, deg =  7 */    454,    556,    706,   1093,   1172,   1652,   1748, 
/* msg =    213, deg =  7 */    455,    557,    707,   1094,   1173,   1653,   1749, 
/* msg =    214, deg =  7 */    456,    558,    708,   1095,   1174,   1654,   1750, 
/* msg =    215, deg =  7 */    457,    559,    709,   1096,   1175,   1655,   1751, 
/* msg =    216, deg =  7 */    458,    560,    710,   1097,   1176,   1656,   1752, 
/* msg =    217, deg =  7 */    459,    561,    711,   1098,   1177,   1657,   1753, 
/* msg =    218, deg =  7 */    460,    562,    712,   1099,   1178,   1658,   1754, 
/* msg =    219, deg =  7 */    461,    563,    713,   1100,   1179,   1659,   1755, 
/* msg =    220, deg =  7 */    462,    564,    714,   1101,   1180,   1660,   1756, 
/* msg =    221, deg =  7 */    463,    565,    715,   1102,   1181,   1661,   1757, 
/* msg =    222, deg =  7 */    464,    566,    716,   1103,   1182,   1662,   1758, 
/* msg =    223, deg =  7 */    465,    567,    717,   1104,   1183,   1663,   1759, 
/* msg =    224, deg =  7 */    466,    568,    718,   1105,   1184,   1664,   1760, 
/* msg =    225, deg =  7 */    467,    569,    719,   1106,   1185,   1665,   1761, 
/* msg =    226, deg =  7 */    468,    570,    720,   1107,   1186,   1666,   1762, 
/* msg =    227, deg =  7 */    469,    571,    721,   1108,   1187,   1667,   1763, 
/* msg =    228, deg =  7 */    470,    572,    722,   1109,   1188,   1668,   1764, 
/* msg =    229, deg =  7 */    471,    573,    723,   1110,   1189,   1669,   1765, 
/* msg =    230, deg =  7 */    472,    574,    724,   1111,   1190,   1670,   1766, 
/* msg =    231, deg =  7 */    473,    575,    725,   1112,   1191,   1671,   1767, 
/* msg =    232, deg =  7 */    474,    480,    726,   1113,   1192,   1672,   1768, 
/* msg =    233, deg =  7 */    475,    481,    727,   1114,   1193,   1673,   1769, 
/* msg =    234, deg =  7 */    476,    482,    728,   1115,   1194,   1674,   1770, 
/* msg =    235, deg =  7 */    477,    483,    729,   1116,   1195,   1675,   1771, 
/* msg =    236, deg =  7 */    478,    484,    730,   1117,   1196,   1676,   1772, 
/* msg =    237, deg =  7 */    479,    485,    731,   1118,   1197,   1677,   1773, 
/* msg =    238, deg =  7 */    384,    486,    732,   1119,   1198,   1678,   1774, 
/* msg =    239, deg =  7 */    385,    487,    733,   1120,   1199,   1679,   1775, 
/* msg =    240, deg =  7 */    386,    488,    734,   1121,   1200,   1680,   1776, 
/* msg =    241, deg =  7 */    387,    489,    735,   1122,   1201,   1681,   1777, 
/* msg =    242, deg =  7 */    388,    490,    736,   1123,   1202,   1682,   1778, 
/* msg =    243, deg =  7 */    389,    491,    737,   1124,   1203,   1683,   1779, 
/* msg =    244, deg =  7 */    390,    492,    738,   1125,   1204,   1684,   1780, 
/* msg =    245, deg =  7 */    391,    493,    739,   1126,   1205,   1685,   1781, 
/* msg =    246, deg =  7 */    392,    494,    740,   1127,   1206,   1686,   1782, 
/* msg =    247, deg =  7 */    393,    495,    741,   1128,   1207,   1687,   1783, 
/* msg =    248, deg =  7 */    394,    496,    742,   1129,   1208,   1688,   1784, 
/* msg =    249, deg =  7 */    395,    497,    743,   1130,   1209,   1689,   1785, 
/* msg =    250, deg =  7 */    396,    498,    744,   1131,   1210,   1690,   1786, 
/* msg =    251, deg =  7 */    397,    499,    745,   1132,   1211,   1691,   1787, 
/* msg =    252, deg =  7 */    398,    500,    746,   1133,   1212,   1692,   1788, 
/* msg =    253, deg =  7 */    399,    501,    747,   1134,   1213,   1693,   1789, 
/* msg =    254, deg =  7 */    400,    502,    748,   1135,   1214,   1694,   1790, 
/* msg =    255, deg =  7 */    401,    503,    749,   1136,   1215,   1695,   1791, 
/* msg =    256, deg =  7 */    402,    504,    750,   1137,   1216,   1696,   1792, 
/* msg =    257, deg =  7 */    403,    505,    751,   1138,   1217,   1697,   1793, 
/* msg =    258, deg =  7 */    404,    506,    752,   1139,   1218,   1698,   1794, 
/* msg =    259, deg =  7 */    405,    507,    753,   1140,   1219,   1699,   1795, 
/* msg =    260, deg =  7 */    406,    508,    754,   1141,   1220,   1700,   1796, 
/* msg =    261, deg =  7 */    407,    509,    755,   1142,   1221,   1701,   1797, 
/* msg =    262, deg =  7 */    408,    510,    756,   1143,   1222,   1702,   1798, 
/* msg =    263, deg =  7 */    409,    511,    757,   1144,   1223,   1703,   1799, 
/* msg =    264, deg =  7 */    410,    512,    758,   1145,   1224,   1704,   1800, 
/* msg =    265, deg =  7 */    411,    513,    759,   1146,   1225,   1705,   1801, 
/* msg =    266, deg =  7 */    412,    514,    760,   1147,   1226,   1706,   1802, 
/* msg =    267, deg =  7 */    413,    515,    761,   1148,   1227,   1707,   1803, 
/* msg =    268, deg =  7 */    414,    516,    762,   1149,   1228,   1708,   1804, 
/* msg =    269, deg =  7 */    415,    517,    763,   1150,   1229,   1709,   1805, 
/* msg =    270, deg =  7 */    416,    518,    764,   1151,   1230,   1710,   1806, 
/* msg =    271, deg =  7 */    417,    519,    765,   1056,   1231,   1711,   1807, 
/* msg =    272, deg =  7 */    418,    520,    766,   1057,   1232,   1712,   1808, 
/* msg =    273, deg =  7 */    419,    521,    767,   1058,   1233,   1713,   1809, 
/* msg =    274, deg =  7 */    420,    522,    672,   1059,   1234,   1714,   1810, 
/* msg =    275, deg =  7 */    421,    523,    673,   1060,   1235,   1715,   1811, 
/* msg =    276, deg =  7 */    422,    524,    674,   1061,   1236,   1716,   1812, 
/* msg =    277, deg =  7 */    423,    525,    675,   1062,   1237,   1717,   1813, 
/* msg =    278, deg =  7 */    424,    526,    676,   1063,   1238,   1718,   1814, 
/* msg =    279, deg =  7 */    425,    527,    677,   1064,   1239,   1719,   1815, 
/* msg =    280, deg =  7 */    426,    528,    678,   1065,   1240,   1720,   1816, 
/* msg =    281, deg =  7 */    427,    529,    679,   1066,   1241,   1721,   1817, 
/* msg =    282, deg =  7 */    428,    530,    680,   1067,   1242,   1722,   1818, 
/* msg =    283, deg =  7 */    429,    531,    681,   1068,   1243,   1723,   1819, 
/* msg =    284, deg =  7 */    430,    532,    682,   1069,   1244,   1724,   1820, 
/* msg =    285, deg =  7 */    431,    533,    683,   1070,   1245,   1725,   1821, 
/* msg =    286, deg =  7 */    432,    534,    684,   1071,   1246,   1726,   1822, 
/* msg =    287, deg =  7 */    433,    535,    685,   1072,   1247,   1727,   1823, 
/* msg =    288, deg =  7 */     84,    397,    552,    725,   1101,   1920,   2016, 
/* msg =    289, deg =  7 */     85,    398,    553,    726,   1102,   1921,   2017, 
/* msg =    290, deg =  7 */     86,    399,    554,    727,   1103,   1922,   2018, 
/* msg =    291, deg =  7 */     87,    400,    555,    728,   1104,   1923,   2019, 
/* msg =    292, deg =  7 */     88,    401,    556,    729,   1105,   1924,   2020, 
/* msg =    293, deg =  7 */     89,    402,    557,    730,   1106,   1925,   2021, 
/* msg =    294, deg =  7 */     90,    403,    558,    731,   1107,   1926,   2022, 
/* msg =    295, deg =  7 */     91,    404,    559,    732,   1108,   1927,   2023, 
/* msg =    296, deg =  7 */     92,    405,    560,    733,   1109,   1928,   2024, 
/* msg =    297, deg =  7 */     93,    406,    561,    734,   1110,   1929,   2025, 
/* msg =    298, deg =  7 */     94,    407,    562,    735,   1111,   1930,   2026, 
/* msg =    299, deg =  7 */     95,    408,    563,    736,   1112,   1931,   2027, 
/* msg =    300, deg =  7 */      0,    409,    564,    737,   1113,   1932,   2028, 
/* msg =    301, deg =  7 */      1,    410,    565,    738,   1114,   1933,   2029, 
/* msg =    302, deg =  7 */      2,    411,    566,    739,   1115,   1934,   2030, 
/* msg =    303, deg =  7 */      3,    412,    567,    740,   1116,   1935,   2031, 
/* msg =    304, deg =  7 */      4,    413,    568,    741,   1117,   1936,   2032, 
/* msg =    305, deg =  7 */      5,    414,    569,    742,   1118,   1937,   2033, 
/* msg =    306, deg =  7 */      6,    415,    570,    743,   1119,   1938,   2034, 
/* msg =    307, deg =  7 */      7,    416,    571,    744,   1120,   1939,   2035, 
/* msg =    308, deg =  7 */      8,    417,    572,    745,   1121,   1940,   2036, 
/* msg =    309, deg =  7 */      9,    418,    573,    746,   1122,   1941,   2037, 
/* msg =    310, deg =  7 */     10,    419,    574,    747,   1123,   1942,   2038, 
/* msg =    311, deg =  7 */     11,    420,    575,    748,   1124,   1943,   2039, 
/* msg =    312, deg =  7 */     12,    421,    480,    749,   1125,   1944,   2040, 
/* msg =    313, deg =  7 */     13,    422,    481,    750,   1126,   1945,   2041, 
/* msg =    314, deg =  7 */     14,    423,    482,    751,   1127,   1946,   2042, 
/* msg =    315, deg =  7 */     15,    424,    483,    752,   1128,   1947,   2043, 
/* msg =    316, deg =  7 */     16,    425,    484,    753,   1129,   1948,   2044, 
/* msg =    317, deg =  7 */     17,    426,    485,    754,   1130,   1949,   2045, 
/* msg =    318, deg =  7 */     18,    427,    486,    755,   1131,   1950,   2046, 
/* msg =    319, deg =  7 */     19,    428,    487,    756,   1132,   1951,   2047, 
/* msg =    320, deg =  7 */     20,    429,    488,    757,   1133,   1952,   2048, 
/* msg =    321, deg =  7 */     21,    430,    489,    758,   1134,   1953,   2049, 
/* msg =    322, deg =  7 */     22,    431,    490,    759,   1135,   1954,   2050, 
/* msg =    323, deg =  7 */     23,    432,    491,    760,   1136,   1955,   2051, 
/* msg =    324, deg =  7 */     24,    433,    492,    761,   1137,   1956,   2052, 
/* msg =    325, deg =  7 */     25,    434,    493,    762,   1138,   1957,   2053, 
/* msg =    326, deg =  7 */     26,    435,    494,    763,   1139,   1958,   2054, 
/* msg =    327, deg =  7 */     27,    436,    495,    764,   1140,   1959,   2055, 
/* msg =    328, deg =  7 */     28,    437,    496,    765,   1141,   1960,   2056, 
/* msg =    329, deg =  7 */     29,    438,    497,    766,   1142,   1961,   2057, 
/* msg =    330, deg =  7 */     30,    439,    498,    767,   1143,   1962,   2058, 
/* msg =    331, deg =  7 */     31,    440,    499,    672,   1144,   1963,   2059, 
/* msg =    332, deg =  7 */     32,    441,    500,    673,   1145,   1964,   2060, 
/* msg =    333, deg =  7 */     33,    442,    501,    674,   1146,   1965,   2061, 
/* msg =    334, deg =  7 */     34,    443,    502,    675,   1147,   1966,   2062, 
/* msg =    335, deg =  7 */     35,    444,    503,    676,   1148,   1967,   2063, 
/* msg =    336, deg =  7 */     36,    445,    504,    677,   1149,   1968,   2064, 
/* msg =    337, deg =  7 */     37,    446,    505,    678,   1150,   1969,   2065, 
/* msg =    338, deg =  7 */     38,    447,    506,    679,   1151,   1970,   2066, 
/* msg =    339, deg =  7 */     39,    448,    507,    680,   1056,   1971,   2067, 
/* msg =    340, deg =  7 */     40,    449,    508,    681,   1057,   1972,   2068, 
/* msg =    341, deg =  7 */     41,    450,    509,    682,   1058,   1973,   2069, 
/* msg =    342, deg =  7 */     42,    451,    510,    683,   1059,   1974,   2070, 
/* msg =    343, deg =  7 */     43,    452,    511,    684,   1060,   1975,   2071, 
/* msg =    344, deg =  7 */     44,    453,    512,    685,   1061,   1976,   2072, 
/* msg =    345, deg =  7 */     45,    454,    513,    686,   1062,   1977,   2073, 
/* msg =    346, deg =  7 */     46,    455,    514,    687,   1063,   1978,   2074, 
/* msg =    347, deg =  7 */     47,    456,    515,    688,   1064,   1979,   2075, 
/* msg =    348, deg =  7 */     48,    457,    516,    689,   1065,   1980,   2076, 
/* msg =    349, deg =  7 */     49,    458,    517,    690,   1066,   1981,   2077, 
/* msg =    350, deg =  7 */     50,    459,    518,    691,   1067,   1982,   2078, 
/* msg =    351, deg =  7 */     51,    460,    519,    692,   1068,   1983,   2079, 
/* msg =    352, deg =  7 */     52,    461,    520,    693,   1069,   1984,   2080, 
/* msg =    353, deg =  7 */     53,    462,    521,    694,   1070,   1985,   2081, 
/* msg =    354, deg =  7 */     54,    463,    522,    695,   1071,   1986,   2082, 
/* msg =    355, deg =  7 */     55,    464,    523,    696,   1072,   1987,   2083, 
/* msg =    356, deg =  7 */     56,    465,    524,    697,   1073,   1988,   2084, 
/* msg =    357, deg =  7 */     57,    466,    525,    698,   1074,   1989,   2085, 
/* msg =    358, deg =  7 */     58,    467,    526,    699,   1075,   1990,   2086, 
/* msg =    359, deg =  7 */     59,    468,    527,    700,   1076,   1991,   2087, 
/* msg =    360, deg =  7 */     60,    469,    528,    701,   1077,   1992,   2088, 
/* msg =    361, deg =  7 */     61,    470,    529,    702,   1078,   1993,   2089, 
/* msg =    362, deg =  7 */     62,    471,    530,    703,   1079,   1994,   2090, 
/* msg =    363, deg =  7 */     63,    472,    531,    704,   1080,   1995,   2091, 
/* msg =    364, deg =  7 */     64,    473,    532,    705,   1081,   1996,   2092, 
/* msg =    365, deg =  7 */     65,    474,    533,    706,   1082,   1997,   2093, 
/* msg =    366, deg =  7 */     66,    475,    534,    707,   1083,   1998,   2094, 
/* msg =    367, deg =  7 */     67,    476,    535,    708,   1084,   1999,   2095, 
/* msg =    368, deg =  7 */     68,    477,    536,    709,   1085,   2000,   2096, 
/* msg =    369, deg =  7 */     69,    478,    537,    710,   1086,   2001,   2097, 
/* msg =    370, deg =  7 */     70,    479,    538,    711,   1087,   2002,   2098, 
/* msg =    371, deg =  7 */     71,    384,    539,    712,   1088,   2003,   2099, 
/* msg =    372, deg =  7 */     72,    385,    540,    713,   1089,   2004,   2100, 
/* msg =    373, deg =  7 */     73,    386,    541,    714,   1090,   2005,   2101, 
/* msg =    374, deg =  7 */     74,    387,    542,    715,   1091,   2006,   2102, 
/* msg =    375, deg =  7 */     75,    388,    543,    716,   1092,   2007,   2103, 
/* msg =    376, deg =  7 */     76,    389,    544,    717,   1093,   2008,   2104, 
/* msg =    377, deg =  7 */     77,    390,    545,    718,   1094,   2009,   2105, 
/* msg =    378, deg =  7 */     78,    391,    546,    719,   1095,   2010,   2106, 
/* msg =    379, deg =  7 */     79,    392,    547,    720,   1096,   2011,   2107, 
/* msg =    380, deg =  7 */     80,    393,    548,    721,   1097,   2012,   2108, 
/* msg =    381, deg =  7 */     81,    394,    549,    722,   1098,   2013,   2109, 
/* msg =    382, deg =  7 */     82,    395,    550,    723,   1099,   2014,   2110, 
/* msg =    383, deg =  7 */     83,    396,    551,    724,   1100,   2015,   2111, 
/* msg =    384, deg =  6 */     98,    215,    809,    877,   1241,   1248, 
/* msg =    385, deg =  6 */     99,    216,    810,    878,   1242,   1249, 
/* msg =    386, deg =  6 */    100,    217,    811,    879,   1243,   1250, 
/* msg =    387, deg =  6 */    101,    218,    812,    880,   1244,   1251, 
/* msg =    388, deg =  6 */    102,    219,    813,    881,   1245,   1252, 
/* msg =    389, deg =  6 */    103,    220,    814,    882,   1246,   1253, 
/* msg =    390, deg =  6 */    104,    221,    815,    883,   1247,   1254, 
/* msg =    391, deg =  6 */    105,    222,    816,    884,   1152,   1255, 
/* msg =    392, deg =  6 */    106,    223,    817,    885,   1153,   1256, 
/* msg =    393, deg =  6 */    107,    224,    818,    886,   1154,   1257, 
/* msg =    394, deg =  6 */    108,    225,    819,    887,   1155,   1258, 
/* msg =    395, deg =  6 */    109,    226,    820,    888,   1156,   1259, 
/* msg =    396, deg =  6 */    110,    227,    821,    889,   1157,   1260, 
/* msg =    397, deg =  6 */    111,    228,    822,    890,   1158,   1261, 
/* msg =    398, deg =  6 */    112,    229,    823,    891,   1159,   1262, 
/* msg =    399, deg =  6 */    113,    230,    824,    892,   1160,   1263, 
/* msg =    400, deg =  6 */    114,    231,    825,    893,   1161,   1264, 
/* msg =    401, deg =  6 */    115,    232,    826,    894,   1162,   1265, 
/* msg =    402, deg =  6 */    116,    233,    827,    895,   1163,   1266, 
/* msg =    403, deg =  6 */    117,    234,    828,    896,   1164,   1267, 
/* msg =    404, deg =  6 */    118,    235,    829,    897,   1165,   1268, 
/* msg =    405, deg =  6 */    119,    236,    830,    898,   1166,   1269, 
/* msg =    406, deg =  6 */    120,    237,    831,    899,   1167,   1270, 
/* msg =    407, deg =  6 */    121,    238,    832,    900,   1168,   1271, 
/* msg =    408, deg =  6 */    122,    239,    833,    901,   1169,   1272, 
/* msg =    409, deg =  6 */    123,    240,    834,    902,   1170,   1273, 
/* msg =    410, deg =  6 */    124,    241,    835,    903,   1171,   1274, 
/* msg =    411, deg =  6 */    125,    242,    836,    904,   1172,   1275, 
/* msg =    412, deg =  6 */    126,    243,    837,    905,   1173,   1276, 
/* msg =    413, deg =  6 */    127,    244,    838,    906,   1174,   1277, 
/* msg =    414, deg =  6 */    128,    245,    839,    907,   1175,   1278, 
/* msg =    415, deg =  6 */    129,    246,    840,    908,   1176,   1279, 
/* msg =    416, deg =  6 */    130,    247,    841,    909,   1177,   1280, 
/* msg =    417, deg =  6 */    131,    248,    842,    910,   1178,   1281, 
/* msg =    418, deg =  6 */    132,    249,    843,    911,   1179,   1282, 
/* msg =    419, deg =  6 */    133,    250,    844,    912,   1180,   1283, 
/* msg =    420, deg =  6 */    134,    251,    845,    913,   1181,   1284, 
/* msg =    421, deg =  6 */    135,    252,    846,    914,   1182,   1285, 
/* msg =    422, deg =  6 */    136,    253,    847,    915,   1183,   1286, 
/* msg =    423, deg =  6 */    137,    254,    848,    916,   1184,   1287, 
/* msg =    424, deg =  6 */    138,    255,    849,    917,   1185,   1288, 
/* msg =    425, deg =  6 */    139,    256,    850,    918,   1186,   1289, 
/* msg =    426, deg =  6 */    140,    257,    851,    919,   1187,   1290, 
/* msg =    427, deg =  6 */    141,    258,    852,    920,   1188,   1291, 
/* msg =    428, deg =  6 */    142,    259,    853,    921,   1189,   1292, 
/* msg =    429, deg =  6 */    143,    260,    854,    922,   1190,   1293, 
/* msg =    430, deg =  6 */    144,    261,    855,    923,   1191,   1294, 
/* msg =    431, deg =  6 */    145,    262,    856,    924,   1192,   1295, 
/* msg =    432, deg =  6 */    146,    263,    857,    925,   1193,   1296, 
/* msg =    433, deg =  6 */    147,    264,    858,    926,   1194,   1297, 
/* msg =    434, deg =  6 */    148,    265,    859,    927,   1195,   1298, 
/* msg =    435, deg =  6 */    149,    266,    860,    928,   1196,   1299, 
/* msg =    436, deg =  6 */    150,    267,    861,    929,   1197,   1300, 
/* msg =    437, deg =  6 */    151,    268,    862,    930,   1198,   1301, 
/* msg =    438, deg =  6 */    152,    269,    863,    931,   1199,   1302, 
/* msg =    439, deg =  6 */    153,    270,    768,    932,   1200,   1303, 
/* msg =    440, deg =  6 */    154,    271,    769,    933,   1201,   1304, 
/* msg =    441, deg =  6 */    155,    272,    770,    934,   1202,   1305, 
/* msg =    442, deg =  6 */    156,    273,    771,    935,   1203,   1306, 
/* msg =    443, deg =  6 */    157,    274,    772,    936,   1204,   1307, 
/* msg =    444, deg =  6 */    158,    275,    773,    937,   1205,   1308, 
/* msg =    445, deg =  6 */    159,    276,    774,    938,   1206,   1309, 
/* msg =    446, deg =  6 */    160,    277,    775,    939,   1207,   1310, 
/* msg =    447, deg =  6 */    161,    278,    776,    940,   1208,   1311, 
/* msg =    448, deg =  6 */    162,    279,    777,    941,   1209,   1312, 
/* msg =    449, deg =  6 */    163,    280,    778,    942,   1210,   1313, 
/* msg =    450, deg =  6 */    164,    281,    779,    943,   1211,   1314, 
/* msg =    451, deg =  6 */    165,    282,    780,    944,   1212,   1315, 
/* msg =    452, deg =  6 */    166,    283,    781,    945,   1213,   1316, 
/* msg =    453, deg =  6 */    167,    284,    782,    946,   1214,   1317, 
/* msg =    454, deg =  6 */    168,    285,    783,    947,   1215,   1318, 
/* msg =    455, deg =  6 */    169,    286,    784,    948,   1216,   1319, 
/* msg =    456, deg =  6 */    170,    287,    785,    949,   1217,   1320, 
/* msg =    457, deg =  6 */    171,    192,    786,    950,   1218,   1321, 
/* msg =    458, deg =  6 */    172,    193,    787,    951,   1219,   1322, 
/* msg =    459, deg =  6 */    173,    194,    788,    952,   1220,   1323, 
/* msg =    460, deg =  6 */    174,    195,    789,    953,   1221,   1324, 
/* msg =    461, deg =  6 */    175,    196,    790,    954,   1222,   1325, 
/* msg =    462, deg =  6 */    176,    197,    791,    955,   1223,   1326, 
/* msg =    463, deg =  6 */    177,    198,    792,    956,   1224,   1327, 
/* msg =    464, deg =  6 */    178,    199,    793,    957,   1225,   1328, 
/* msg =    465, deg =  6 */    179,    200,    794,    958,   1226,   1329, 
/* msg =    466, deg =  6 */    180,    201,    795,    959,   1227,   1330, 
/* msg =    467, deg =  6 */    181,    202,    796,    864,   1228,   1331, 
/* msg =    468, deg =  6 */    182,    203,    797,    865,   1229,   1332, 
/* msg =    469, deg =  6 */    183,    204,    798,    866,   1230,   1333, 
/* msg =    470, deg =  6 */    184,    205,    799,    867,   1231,   1334, 
/* msg =    471, deg =  6 */    185,    206,    800,    868,   1232,   1335, 
/* msg =    472, deg =  6 */    186,    207,    801,    869,   1233,   1336, 
/* msg =    473, deg =  6 */    187,    208,    802,    870,   1234,   1337, 
/* msg =    474, deg =  6 */    188,    209,    803,    871,   1235,   1338, 
/* msg =    475, deg =  6 */    189,    210,    804,    872,   1236,   1339, 
/* msg =    476, deg =  6 */    190,    211,    805,    873,   1237,   1340, 
/* msg =    477, deg =  6 */    191,    212,    806,    874,   1238,   1341, 
/* msg =    478, deg =  6 */     96,    213,    807,    875,   1239,   1342, 
/* msg =    479, deg =  6 */     97,    214,    808,    876,   1240,   1343, 
/* msg =    480, deg =  6 */     35,    241,    799,    935,   1440,   1536, 
/* msg =    481, deg =  6 */     36,    242,    800,    936,   1441,   1537, 
/* msg =    482, deg =  6 */     37,    243,    801,    937,   1442,   1538, 
/* msg =    483, deg =  6 */     38,    244,    802,    938,   1443,   1539, 
/* msg =    484, deg =  6 */     39,    245,    803,    939,   1444,   1540, 
/* msg =    485, deg =  6 */     40,    246,    804,    940,   1445,   1541, 
/* msg =    486, deg =  6 */     41,    247,    805,    941,   1446,   1542, 
/* msg =    487, deg =  6 */     42,    248,    806,    942,   1447,   1543, 
/* msg =    488, deg =  6 */     43,    249,    807,    943,   1448,   1544, 
/* msg =    489, deg =  6 */     44,    250,    808,    944,   1449,   1545, 
/* msg =    490, deg =  6 */     45,    251,    809,    945,   1450,   1546, 
/* msg =    491, deg =  6 */     46,    252,    810,    946,   1451,   1547, 
/* msg =    492, deg =  6 */     47,    253,    811,    947,   1452,   1548, 
/* msg =    493, deg =  6 */     48,    254,    812,    948,   1453,   1549, 
/* msg =    494, deg =  6 */     49,    255,    813,    949,   1454,   1550, 
/* msg =    495, deg =  6 */     50,    256,    814,    950,   1455,   1551, 
/* msg =    496, deg =  6 */     51,    257,    815,    951,   1456,   1552, 
/* msg =    497, deg =  6 */     52,    258,    816,    952,   1457,   1553, 
/* msg =    498, deg =  6 */     53,    259,    817,    953,   1458,   1554, 
/* msg =    499, deg =  6 */     54,    260,    818,    954,   1459,   1555, 
/* msg =    500, deg =  6 */     55,    261,    819,    955,   1460,   1556, 
/* msg =    501, deg =  6 */     56,    262,    820,    956,   1461,   1557, 
/* msg =    502, deg =  6 */     57,    263,    821,    957,   1462,   1558, 
/* msg =    503, deg =  6 */     58,    264,    822,    958,   1463,   1559, 
/* msg =    504, deg =  6 */     59,    265,    823,    959,   1464,   1560, 
/* msg =    505, deg =  6 */     60,    266,    824,    864,   1465,   1561, 
/* msg =    506, deg =  6 */     61,    267,    825,    865,   1466,   1562, 
/* msg =    507, deg =  6 */     62,    268,    826,    866,   1467,   1563, 
/* msg =    508, deg =  6 */     63,    269,    827,    867,   1468,   1564, 
/* msg =    509, deg =  6 */     64,    270,    828,    868,   1469,   1565, 
/* msg =    510, deg =  6 */     65,    271,    829,    869,   1470,   1566, 
/* msg =    511, deg =  6 */     66,    272,    830,    870,   1471,   1567, 
/* msg =    512, deg =  6 */     67,    273,    831,    871,   1472,   1568, 
/* msg =    513, deg =  6 */     68,    274,    832,    872,   1473,   1569, 
/* msg =    514, deg =  6 */     69,    275,    833,    873,   1474,   1570, 
/* msg =    515, deg =  6 */     70,    276,    834,    874,   1475,   1571, 
/* msg =    516, deg =  6 */     71,    277,    835,    875,   1476,   1572, 
/* msg =    517, deg =  6 */     72,    278,    836,    876,   1477,   1573, 
/* msg =    518, deg =  6 */     73,    279,    837,    877,   1478,   1574, 
/* msg =    519, deg =  6 */     74,    280,    838,    878,   1479,   1575, 
/* msg =    520, deg =  6 */     75,    281,    839,    879,   1480,   1576, 
/* msg =    521, deg =  6 */     76,    282,    840,    880,   1481,   1577, 
/* msg =    522, deg =  6 */     77,    283,    841,    881,   1482,   1578, 
/* msg =    523, deg =  6 */     78,    284,    842,    882,   1483,   1579, 
/* msg =    524, deg =  6 */     79,    285,    843,    883,   1484,   1580, 
/* msg =    525, deg =  6 */     80,    286,    844,    884,   1485,   1581, 
/* msg =    526, deg =  6 */     81,    287,    845,    885,   1486,   1582, 
/* msg =    527, deg =  6 */     82,    192,    846,    886,   1487,   1583, 
/* msg =    528, deg =  6 */     83,    193,    847,    887,   1488,   1584, 
/* msg =    529, deg =  6 */     84,    194,    848,    888,   1489,   1585, 
/* msg =    530, deg =  6 */     85,    195,    849,    889,   1490,   1586, 
/* msg =    531, deg =  6 */     86,    196,    850,    890,   1491,   1587, 
/* msg =    532, deg =  6 */     87,    197,    851,    891,   1492,   1588, 
/* msg =    533, deg =  6 */     88,    198,    852,    892,   1493,   1589, 
/* msg =    534, deg =  6 */     89,    199,    853,    893,   1494,   1590, 
/* msg =    535, deg =  6 */     90,    200,    854,    894,   1495,   1591, 
/* msg =    536, deg =  6 */     91,    201,    855,    895,   1496,   1592, 
/* msg =    537, deg =  6 */     92,    202,    856,    896,   1497,   1593, 
/* msg =    538, deg =  6 */     93,    203,    857,    897,   1498,   1594, 
/* msg =    539, deg =  6 */     94,    204,    858,    898,   1499,   1595, 
/* msg =    540, deg =  6 */     95,    205,    859,    899,   1500,   1596, 
/* msg =    541, deg =  6 */      0,    206,    860,    900,   1501,   1597, 
/* msg =    542, deg =  6 */      1,    207,    861,    901,   1502,   1598, 
/* msg =    543, deg =  6 */      2,    208,    862,    902,   1503,   1599, 
/* msg =    544, deg =  6 */      3,    209,    863,    903,   1504,   1600, 
/* msg =    545, deg =  6 */      4,    210,    768,    904,   1505,   1601, 
/* msg =    546, deg =  6 */      5,    211,    769,    905,   1506,   1602, 
/* msg =    547, deg =  6 */      6,    212,    770,    906,   1507,   1603, 
/* msg =    548, deg =  6 */      7,    213,    771,    907,   1508,   1604, 
/* msg =    549, deg =  6 */      8,    214,    772,    908,   1509,   1605, 
/* msg =    550, deg =  6 */      9,    215,    773,    909,   1510,   1606, 
/* msg =    551, deg =  6 */     10,    216,    774,    910,   1511,   1607, 
/* msg =    552, deg =  6 */     11,    217,    775,    911,   1512,   1608, 
/* msg =    553, deg =  6 */     12,    218,    776,    912,   1513,   1609, 
/* msg =    554, deg =  6 */     13,    219,    777,    913,   1514,   1610, 
/* msg =    555, deg =  6 */     14,    220,    778,    914,   1515,   1611, 
/* msg =    556, deg =  6 */     15,    221,    779,    915,   1516,   1612, 
/* msg =    557, deg =  6 */     16,    222,    780,    916,   1517,   1613, 
/* msg =    558, deg =  6 */     17,    223,    781,    917,   1518,   1614, 
/* msg =    559, deg =  6 */     18,    224,    782,    918,   1519,   1615, 
/* msg =    560, deg =  6 */     19,    225,    783,    919,   1520,   1616, 
/* msg =    561, deg =  6 */     20,    226,    784,    920,   1521,   1617, 
/* msg =    562, deg =  6 */     21,    227,    785,    921,   1522,   1618, 
/* msg =    563, deg =  6 */     22,    228,    786,    922,   1523,   1619, 
/* msg =    564, deg =  6 */     23,    229,    787,    923,   1524,   1620, 
/* msg =    565, deg =  6 */     24,    230,    788,    924,   1525,   1621, 
/* msg =    566, deg =  6 */     25,    231,    789,    925,   1526,   1622, 
/* msg =    567, deg =  6 */     26,    232,    790,    926,   1527,   1623, 
/* msg =    568, deg =  6 */     27,    233,    791,    927,   1528,   1624, 
/* msg =    569, deg =  6 */     28,    234,    792,    928,   1529,   1625, 
/* msg =    570, deg =  6 */     29,    235,    793,    929,   1530,   1626, 
/* msg =    571, deg =  6 */     30,    236,    794,    930,   1531,   1627, 
/* msg =    572, deg =  6 */     31,    237,    795,    931,   1532,   1628, 
/* msg =    573, deg =  6 */     32,    238,    796,    932,   1533,   1629, 
/* msg =    574, deg =  6 */     33,    239,    797,    933,   1534,   1630, 
/* msg =    575, deg =  6 */     34,    240,    798,    934,   1535,   1631, 
/* msg =    576, deg =  6 */    249,    588,    919,    984,   1536,   1632, 
/* msg =    577, deg =  6 */    250,    589,    920,    985,   1537,   1633, 
/* msg =    578, deg =  6 */    251,    590,    921,    986,   1538,   1634, 
/* msg =    579, deg =  6 */    252,    591,    922,    987,   1539,   1635, 
/* msg =    580, deg =  6 */    253,    592,    923,    988,   1540,   1636, 
/* msg =    581, deg =  6 */    254,    593,    924,    989,   1541,   1637, 
/* msg =    582, deg =  6 */    255,    594,    925,    990,   1542,   1638, 
/* msg =    583, deg =  6 */    256,    595,    926,    991,   1543,   1639, 
/* msg =    584, deg =  6 */    257,    596,    927,    992,   1544,   1640, 
/* msg =    585, deg =  6 */    258,    597,    928,    993,   1545,   1641, 
/* msg =    586, deg =  6 */    259,    598,    929,    994,   1546,   1642, 
/* msg =    587, deg =  6 */    260,    599,    930,    995,   1547,   1643, 
/* msg =    588, deg =  6 */    261,    600,    931,    996,   1548,   1644, 
/* msg =    589, deg =  6 */    262,    601,    932,    997,   1549,   1645, 
/* msg =    590, deg =  6 */    263,    602,    933,    998,   1550,   1646, 
/* msg =    591, deg =  6 */    264,    603,    934,    999,   1551,   1647, 
/* msg =    592, deg =  6 */    265,    604,    935,   1000,   1552,   1648, 
/* msg =    593, deg =  6 */    266,    605,    936,   1001,   1553,   1649, 
/* msg =    594, deg =  6 */    267,    606,    937,   1002,   1554,   1650, 
/* msg =    595, deg =  6 */    268,    607,    938,   1003,   1555,   1651, 
/* msg =    596, deg =  6 */    269,    608,    939,   1004,   1556,   1652, 
/* msg =    597, deg =  6 */    270,    609,    940,   1005,   1557,   1653, 
/* msg =    598, deg =  6 */    271,    610,    941,   1006,   1558,   1654, 
/* msg =    599, deg =  6 */    272,    611,    942,   1007,   1559,   1655, 
/* msg =    600, deg =  6 */    273,    612,    943,   1008,   1560,   1656, 
/* msg =    601, deg =  6 */    274,    613,    944,   1009,   1561,   1657, 
/* msg =    602, deg =  6 */    275,    614,    945,   1010,   1562,   1658, 
/* msg =    603, deg =  6 */    276,    615,    946,   1011,   1563,   1659, 
/* msg =    604, deg =  6 */    277,    616,    947,   1012,   1564,   1660, 
/* msg =    605, deg =  6 */    278,    617,    948,   1013,   1565,   1661, 
/* msg =    606, deg =  6 */    279,    618,    949,   1014,   1566,   1662, 
/* msg =    607, deg =  6 */    280,    619,    950,   1015,   1567,   1663, 
/* msg =    608, deg =  6 */    281,    620,    951,   1016,   1568,   1664, 
/* msg =    609, deg =  6 */    282,    621,    952,   1017,   1569,   1665, 
/* msg =    610, deg =  6 */    283,    622,    953,   1018,   1570,   1666, 
/* msg =    611, deg =  6 */    284,    623,    954,   1019,   1571,   1667, 
/* msg =    612, deg =  6 */    285,    624,    955,   1020,   1572,   1668, 
/* msg =    613, deg =  6 */    286,    625,    956,   1021,   1573,   1669, 
/* msg =    614, deg =  6 */    287,    626,    957,   1022,   1574,   1670, 
/* msg =    615, deg =  6 */    192,    627,    958,   1023,   1575,   1671, 
/* msg =    616, deg =  6 */    193,    628,    959,   1024,   1576,   1672, 
/* msg =    617, deg =  6 */    194,    629,    864,   1025,   1577,   1673, 
/* msg =    618, deg =  6 */    195,    630,    865,   1026,   1578,   1674, 
/* msg =    619, deg =  6 */    196,    631,    866,   1027,   1579,   1675, 
/* msg =    620, deg =  6 */    197,    632,    867,   1028,   1580,   1676, 
/* msg =    621, deg =  6 */    198,    633,    868,   1029,   1581,   1677, 
/* msg =    622, deg =  6 */    199,    634,    869,   1030,   1582,   1678, 
/* msg =    623, deg =  6 */    200,    635,    870,   1031,   1583,   1679, 
/* msg =    624, deg =  6 */    201,    636,    871,   1032,   1584,   1680, 
/* msg =    625, deg =  6 */    202,    637,    872,   1033,   1585,   1681, 
/* msg =    626, deg =  6 */    203,    638,    873,   1034,   1586,   1682, 
/* msg =    627, deg =  6 */    204,    639,    874,   1035,   1587,   1683, 
/* msg =    628, deg =  6 */    205,    640,    875,   1036,   1588,   1684, 
/* msg =    629, deg =  6 */    206,    641,    876,   1037,   1589,   1685, 
/* msg =    630, deg =  6 */    207,    642,    877,   1038,   1590,   1686, 
/* msg =    631, deg =  6 */    208,    643,    878,   1039,   1591,   1687, 
/* msg =    632, deg =  6 */    209,    644,    879,   1040,   1592,   1688, 
/* msg =    633, deg =  6 */    210,    645,    880,   1041,   1593,   1689, 
/* msg =    634, deg =  6 */    211,    646,    881,   1042,   1594,   1690, 
/* msg =    635, deg =  6 */    212,    647,    882,   1043,   1595,   1691, 
/* msg =    636, deg =  6 */    213,    648,    883,   1044,   1596,   1692, 
/* msg =    637, deg =  6 */    214,    649,    884,   1045,   1597,   1693, 
/* msg =    638, deg =  6 */    215,    650,    885,   1046,   1598,   1694, 
/* msg =    639, deg =  6 */    216,    651,    886,   1047,   1599,   1695, 
/* msg =    640, deg =  6 */    217,    652,    887,   1048,   1600,   1696, 
/* msg =    641, deg =  6 */    218,    653,    888,   1049,   1601,   1697, 
/* msg =    642, deg =  6 */    219,    654,    889,   1050,   1602,   1698, 
/* msg =    643, deg =  6 */    220,    655,    890,   1051,   1603,   1699, 
/* msg =    644, deg =  6 */    221,    656,    891,   1052,   1604,   1700, 
/* msg =    645, deg =  6 */    222,    657,    892,   1053,   1605,   1701, 
/* msg =    646, deg =  6 */    223,    658,    893,   1054,   1606,   1702, 
/* msg =    647, deg =  6 */    224,    659,    894,   1055,   1607,   1703, 
/* msg =    648, deg =  6 */    225,    660,    895,    960,   1608,   1704, 
/* msg =    649, deg =  6 */    226,    661,    896,    961,   1609,   1705, 
/* msg =    650, deg =  6 */    227,    662,    897,    962,   1610,   1706, 
/* msg =    651, deg =  6 */    228,    663,    898,    963,   1611,   1707, 
/* msg =    652, deg =  6 */    229,    664,    899,    964,   1612,   1708, 
/* msg =    653, deg =  6 */    230,    665,    900,    965,   1613,   1709, 
/* msg =    654, deg =  6 */    231,    666,    901,    966,   1614,   1710, 
/* msg =    655, deg =  6 */    232,    667,    902,    967,   1615,   1711, 
/* msg =    656, deg =  6 */    233,    668,    903,    968,   1616,   1712, 
/* msg =    657, deg =  6 */    234,    669,    904,    969,   1617,   1713, 
/* msg =    658, deg =  6 */    235,    670,    905,    970,   1618,   1714, 
/* msg =    659, deg =  6 */    236,    671,    906,    971,   1619,   1715, 
/* msg =    660, deg =  6 */    237,    576,    907,    972,   1620,   1716, 
/* msg =    661, deg =  6 */    238,    577,    908,    973,   1621,   1717, 
/* msg =    662, deg =  6 */    239,    578,    909,    974,   1622,   1718, 
/* msg =    663, deg =  6 */    240,    579,    910,    975,   1623,   1719, 
/* msg =    664, deg =  6 */    241,    580,    911,    976,   1624,   1720, 
/* msg =    665, deg =  6 */    242,    581,    912,    977,   1625,   1721, 
/* msg =    666, deg =  6 */    243,    582,    913,    978,   1626,   1722, 
/* msg =    667, deg =  6 */    244,    583,    914,    979,   1627,   1723, 
/* msg =    668, deg =  6 */    245,    584,    915,    980,   1628,   1724, 
/* msg =    669, deg =  6 */    246,    585,    916,    981,   1629,   1725, 
/* msg =    670, deg =  6 */    247,    586,    917,    982,   1630,   1726, 
/* msg =    671, deg =  6 */    248,    587,    918,    983,   1631,   1727, 
/* msg =    672, deg =  6 */    193,    331,    946,   1038,   1728,   1824, 
/* msg =    673, deg =  6 */    194,    332,    947,   1039,   1729,   1825, 
/* msg =    674, deg =  6 */    195,    333,    948,   1040,   1730,   1826, 
/* msg =    675, deg =  6 */    196,    334,    949,   1041,   1731,   1827, 
/* msg =    676, deg =  6 */    197,    335,    950,   1042,   1732,   1828, 
/* msg =    677, deg =  6 */    198,    336,    951,   1043,   1733,   1829, 
/* msg =    678, deg =  6 */    199,    337,    952,   1044,   1734,   1830, 
/* msg =    679, deg =  6 */    200,    338,    953,   1045,   1735,   1831, 
/* msg =    680, deg =  6 */    201,    339,    954,   1046,   1736,   1832, 
/* msg =    681, deg =  6 */    202,    340,    955,   1047,   1737,   1833, 
/* msg =    682, deg =  6 */    203,    341,    956,   1048,   1738,   1834, 
/* msg =    683, deg =  6 */    204,    342,    957,   1049,   1739,   1835, 
/* msg =    684, deg =  6 */    205,    343,    958,   1050,   1740,   1836, 
/* msg =    685, deg =  6 */    206,    344,    959,   1051,   1741,   1837, 
/* msg =    686, deg =  6 */    207,    345,    864,   1052,   1742,   1838, 
/* msg =    687, deg =  6 */    208,    346,    865,   1053,   1743,   1839, 
/* msg =    688, deg =  6 */    209,    347,    866,   1054,   1744,   1840, 
/* msg =    689, deg =  6 */    210,    348,    867,   1055,   1745,   1841, 
/* msg =    690, deg =  6 */    211,    349,    868,    960,   1746,   1842, 
/* msg =    691, deg =  6 */    212,    350,    869,    961,   1747,   1843, 
/* msg =    692, deg =  6 */    213,    351,    870,    962,   1748,   1844, 
/* msg =    693, deg =  6 */    214,    352,    871,    963,   1749,   1845, 
/* msg =    694, deg =  6 */    215,    353,    872,    964,   1750,   1846, 
/* msg =    695, deg =  6 */    216,    354,    873,    965,   1751,   1847, 
/* msg =    696, deg =  6 */    217,    355,    874,    966,   1752,   1848, 
/* msg =    697, deg =  6 */    218,    356,    875,    967,   1753,   1849, 
/* msg =    698, deg =  6 */    219,    357,    876,    968,   1754,   1850, 
/* msg =    699, deg =  6 */    220,    358,    877,    969,   1755,   1851, 
/* msg =    700, deg =  6 */    221,    359,    878,    970,   1756,   1852, 
/* msg =    701, deg =  6 */    222,    360,    879,    971,   1757,   1853, 
/* msg =    702, deg =  6 */    223,    361,    880,    972,   1758,   1854, 
/* msg =    703, deg =  6 */    224,    362,    881,    973,   1759,   1855, 
/* msg =    704, deg =  6 */    225,    363,    882,    974,   1760,   1856, 
/* msg =    705, deg =  6 */    226,    364,    883,    975,   1761,   1857, 
/* msg =    706, deg =  6 */    227,    365,    884,    976,   1762,   1858, 
/* msg =    707, deg =  6 */    228,    366,    885,    977,   1763,   1859, 
/* msg =    708, deg =  6 */    229,    367,    886,    978,   1764,   1860, 
/* msg =    709, deg =  6 */    230,    368,    887,    979,   1765,   1861, 
/* msg =    710, deg =  6 */    231,    369,    888,    980,   1766,   1862, 
/* msg =    711, deg =  6 */    232,    370,    889,    981,   1767,   1863, 
/* msg =    712, deg =  6 */    233,    371,    890,    982,   1768,   1864, 
/* msg =    713, deg =  6 */    234,    372,    891,    983,   1769,   1865, 
/* msg =    714, deg =  6 */    235,    373,    892,    984,   1770,   1866, 
/* msg =    715, deg =  6 */    236,    374,    893,    985,   1771,   1867, 
/* msg =    716, deg =  6 */    237,    375,    894,    986,   1772,   1868, 
/* msg =    717, deg =  6 */    238,    376,    895,    987,   1773,   1869, 
/* msg =    718, deg =  6 */    239,    377,    896,    988,   1774,   1870, 
/* msg =    719, deg =  6 */    240,    378,    897,    989,   1775,   1871, 
/* msg =    720, deg =  6 */    241,    379,    898,    990,   1776,   1872, 
/* msg =    721, deg =  6 */    242,    380,    899,    991,   1777,   1873, 
/* msg =    722, deg =  6 */    243,    381,    900,    992,   1778,   1874, 
/* msg =    723, deg =  6 */    244,    382,    901,    993,   1779,   1875, 
/* msg =    724, deg =  6 */    245,    383,    902,    994,   1780,   1876, 
/* msg =    725, deg =  6 */    246,    288,    903,    995,   1781,   1877, 
/* msg =    726, deg =  6 */    247,    289,    904,    996,   1782,   1878, 
/* msg =    727, deg =  6 */    248,    290,    905,    997,   1783,   1879, 
/* msg =    728, deg =  6 */    249,    291,    906,    998,   1784,   1880, 
/* msg =    729, deg =  6 */    250,    292,    907,    999,   1785,   1881, 
/* msg =    730, deg =  6 */    251,    293,    908,   1000,   1786,   1882, 
/* msg =    731, deg =  6 */    252,    294,    909,   1001,   1787,   1883, 
/* msg =    732, deg =  6 */    253,    295,    910,   1002,   1788,   1884, 
/* msg =    733, deg =  6 */    254,    296,    911,   1003,   1789,   1885, 
/* msg =    734, deg =  6 */    255,    297,    912,   1004,   1790,   1886, 
/* msg =    735, deg =  6 */    256,    298,    913,   1005,   1791,   1887, 
/* msg =    736, deg =  6 */    257,    299,    914,   1006,   1792,   1888, 
/* msg =    737, deg =  6 */    258,    300,    915,   1007,   1793,   1889, 
/* msg =    738, deg =  6 */    259,    301,    916,   1008,   1794,   1890, 
/* msg =    739, deg =  6 */    260,    302,    917,   1009,   1795,   1891, 
/* msg =    740, deg =  6 */    261,    303,    918,   1010,   1796,   1892, 
/* msg =    741, deg =  6 */    262,    304,    919,   1011,   1797,   1893, 
/* msg =    742, deg =  6 */    263,    305,    920,   1012,   1798,   1894, 
/* msg =    743, deg =  6 */    264,    306,    921,   1013,   1799,   1895, 
/* msg =    744, deg =  6 */    265,    307,    922,   1014,   1800,   1896, 
/* msg =    745, deg =  6 */    266,    308,    923,   1015,   1801,   1897, 
/* msg =    746, deg =  6 */    267,    309,    924,   1016,   1802,   1898, 
/* msg =    747, deg =  6 */    268,    310,    925,   1017,   1803,   1899, 
/* msg =    748, deg =  6 */    269,    311,    926,   1018,   1804,   1900, 
/* msg =    749, deg =  6 */    270,    312,    927,   1019,   1805,   1901, 
/* msg =    750, deg =  6 */    271,    313,    928,   1020,   1806,   1902, 
/* msg =    751, deg =  6 */    272,    314,    929,   1021,   1807,   1903, 
/* msg =    752, deg =  6 */    273,    315,    930,   1022,   1808,   1904, 
/* msg =    753, deg =  6 */    274,    316,    931,   1023,   1809,   1905, 
/* msg =    754, deg =  6 */    275,    317,    932,   1024,   1810,   1906, 
/* msg =    755, deg =  6 */    276,    318,    933,   1025,   1811,   1907, 
/* msg =    756, deg =  6 */    277,    319,    934,   1026,   1812,   1908, 
/* msg =    757, deg =  6 */    278,    320,    935,   1027,   1813,   1909, 
/* msg =    758, deg =  6 */    279,    321,    936,   1028,   1814,   1910, 
/* msg =    759, deg =  6 */    280,    322,    937,   1029,   1815,   1911, 
/* msg =    760, deg =  6 */    281,    323,    938,   1030,   1816,   1912, 
/* msg =    761, deg =  6 */    282,    324,    939,   1031,   1817,   1913, 
/* msg =    762, deg =  6 */    283,    325,    940,   1032,   1818,   1914, 
/* msg =    763, deg =  6 */    284,    326,    941,   1033,   1819,   1915, 
/* msg =    764, deg =  6 */    285,    327,    942,   1034,   1820,   1916, 
/* msg =    765, deg =  6 */    286,    328,    943,   1035,   1821,   1917, 
/* msg =    766, deg =  6 */    287,    329,    944,   1036,   1822,   1918, 
/* msg =    767, deg =  6 */    192,    330,    945,   1037,   1823,   1919, 
/* msg =    768, deg =  6 */    181,    215,    670,    913,   1824,   1920, 
/* msg =    769, deg =  6 */    182,    216,    671,    914,   1825,   1921, 
/* msg =    770, deg =  6 */    183,    217,    576,    915,   1826,   1922, 
/* msg =    771, deg =  6 */    184,    218,    577,    916,   1827,   1923, 
/* msg =    772, deg =  6 */    185,    219,    578,    917,   1828,   1924, 
/* msg =    773, deg =  6 */    186,    220,    579,    918,   1829,   1925, 
/* msg =    774, deg =  6 */    187,    221,    580,    919,   1830,   1926, 
/* msg =    775, deg =  6 */    188,    222,    581,    920,   1831,   1927, 
/* msg =    776, deg =  6 */    189,    223,    582,    921,   1832,   1928, 
/* msg =    777, deg =  6 */    190,    224,    583,    922,   1833,   1929, 
/* msg =    778, deg =  6 */    191,    225,    584,    923,   1834,   1930, 
/* msg =    779, deg =  6 */     96,    226,    585,    924,   1835,   1931, 
/* msg =    780, deg =  6 */     97,    227,    586,    925,   1836,   1932, 
/* msg =    781, deg =  6 */     98,    228,    587,    926,   1837,   1933, 
/* msg =    782, deg =  6 */     99,    229,    588,    927,   1838,   1934, 
/* msg =    783, deg =  6 */    100,    230,    589,    928,   1839,   1935, 
/* msg =    784, deg =  6 */    101,    231,    590,    929,   1840,   1936, 
/* msg =    785, deg =  6 */    102,    232,    591,    930,   1841,   1937, 
/* msg =    786, deg =  6 */    103,    233,    592,    931,   1842,   1938, 
/* msg =    787, deg =  6 */    104,    234,    593,    932,   1843,   1939, 
/* msg =    788, deg =  6 */    105,    235,    594,    933,   1844,   1940, 
/* msg =    789, deg =  6 */    106,    236,    595,    934,   1845,   1941, 
/* msg =    790, deg =  6 */    107,    237,    596,    935,   1846,   1942, 
/* msg =    791, deg =  6 */    108,    238,    597,    936,   1847,   1943, 
/* msg =    792, deg =  6 */    109,    239,    598,    937,   1848,   1944, 
/* msg =    793, deg =  6 */    110,    240,    599,    938,   1849,   1945, 
/* msg =    794, deg =  6 */    111,    241,    600,    939,   1850,   1946, 
/* msg =    795, deg =  6 */    112,    242,    601,    940,   1851,   1947, 
/* msg =    796, deg =  6 */    113,    243,    602,    941,   1852,   1948, 
/* msg =    797, deg =  6 */    114,    244,    603,    942,   1853,   1949, 
/* msg =    798, deg =  6 */    115,    245,    604,    943,   1854,   1950, 
/* msg =    799, deg =  6 */    116,    246,    605,    944,   1855,   1951, 
/* msg =    800, deg =  6 */    117,    247,    606,    945,   1856,   1952, 
/* msg =    801, deg =  6 */    118,    248,    607,    946,   1857,   1953, 
/* msg =    802, deg =  6 */    119,    249,    608,    947,   1858,   1954, 
/* msg =    803, deg =  6 */    120,    250,    609,    948,   1859,   1955, 
/* msg =    804, deg =  6 */    121,    251,    610,    949,   1860,   1956, 
/* msg =    805, deg =  6 */    122,    252,    611,    950,   1861,   1957, 
/* msg =    806, deg =  6 */    123,    253,    612,    951,   1862,   1958, 
/* msg =    807, deg =  6 */    124,    254,    613,    952,   1863,   1959, 
/* msg =    808, deg =  6 */    125,    255,    614,    953,   1864,   1960, 
/* msg =    809, deg =  6 */    126,    256,    615,    954,   1865,   1961, 
/* msg =    810, deg =  6 */    127,    257,    616,    955,   1866,   1962, 
/* msg =    811, deg =  6 */    128,    258,    617,    956,   1867,   1963, 
/* msg =    812, deg =  6 */    129,    259,    618,    957,   1868,   1964, 
/* msg =    813, deg =  6 */    130,    260,    619,    958,   1869,   1965, 
/* msg =    814, deg =  6 */    131,    261,    620,    959,   1870,   1966, 
/* msg =    815, deg =  6 */    132,    262,    621,    864,   1871,   1967, 
/* msg =    816, deg =  6 */    133,    263,    622,    865,   1872,   1968, 
/* msg =    817, deg =  6 */    134,    264,    623,    866,   1873,   1969, 
/* msg =    818, deg =  6 */    135,    265,    624,    867,   1874,   1970, 
/* msg =    819, deg =  6 */    136,    266,    625,    868,   1875,   1971, 
/* msg =    820, deg =  6 */    137,    267,    626,    869,   1876,   1972, 
/* msg =    821, deg =  6 */    138,    268,    627,    870,   1877,   1973, 
/* msg =    822, deg =  6 */    139,    269,    628,    871,   1878,   1974, 
/* msg =    823, deg =  6 */    140,    270,    629,    872,   1879,   1975, 
/* msg =    824, deg =  6 */    141,    271,    630,    873,   1880,   1976, 
/* msg =    825, deg =  6 */    142,    272,    631,    874,   1881,   1977, 
/* msg =    826, deg =  6 */    143,    273,    632,    875,   1882,   1978, 
/* msg =    827, deg =  6 */    144,    274,    633,    876,   1883,   1979, 
/* msg =    828, deg =  6 */    145,    275,    634,    877,   1884,   1980, 
/* msg =    829, deg =  6 */    146,    276,    635,    878,   1885,   1981, 
/* msg =    830, deg =  6 */    147,    277,    636,    879,   1886,   1982, 
/* msg =    831, deg =  6 */    148,    278,    637,    880,   1887,   1983, 
/* msg =    832, deg =  6 */    149,    279,    638,    881,   1888,   1984, 
/* msg =    833, deg =  6 */    150,    280,    639,    882,   1889,   1985, 
/* msg =    834, deg =  6 */    151,    281,    640,    883,   1890,   1986, 
/* msg =    835, deg =  6 */    152,    282,    641,    884,   1891,   1987, 
/* msg =    836, deg =  6 */    153,    283,    642,    885,   1892,   1988, 
/* msg =    837, deg =  6 */    154,    284,    643,    886,   1893,   1989, 
/* msg =    838, deg =  6 */    155,    285,    644,    887,   1894,   1990, 
/* msg =    839, deg =  6 */    156,    286,    645,    888,   1895,   1991, 
/* msg =    840, deg =  6 */    157,    287,    646,    889,   1896,   1992, 
/* msg =    841, deg =  6 */    158,    192,    647,    890,   1897,   1993, 
/* msg =    842, deg =  6 */    159,    193,    648,    891,   1898,   1994, 
/* msg =    843, deg =  6 */    160,    194,    649,    892,   1899,   1995, 
/* msg =    844, deg =  6 */    161,    195,    650,    893,   1900,   1996, 
/* msg =    845, deg =  6 */    162,    196,    651,    894,   1901,   1997, 
/* msg =    846, deg =  6 */    163,    197,    652,    895,   1902,   1998, 
/* msg =    847, deg =  6 */    164,    198,    653,    896,   1903,   1999, 
/* msg =    848, deg =  6 */    165,    199,    654,    897,   1904,   2000, 
/* msg =    849, deg =  6 */    166,    200,    655,    898,   1905,   2001, 
/* msg =    850, deg =  6 */    167,    201,    656,    899,   1906,   2002, 
/* msg =    851, deg =  6 */    168,    202,    657,    900,   1907,   2003, 
/* msg =    852, deg =  6 */    169,    203,    658,    901,   1908,   2004, 
/* msg =    853, deg =  6 */    170,    204,    659,    902,   1909,   2005, 
/* msg =    854, deg =  6 */    171,    205,    660,    903,   1910,   2006, 
/* msg =    855, deg =  6 */    172,    206,    661,    904,   1911,   2007, 
/* msg =    856, deg =  6 */    173,    207,    662,    905,   1912,   2008, 
/* msg =    857, deg =  6 */    174,    208,    663,    906,   1913,   2009, 
/* msg =    858, deg =  6 */    175,    209,    664,    907,   1914,   2010, 
/* msg =    859, deg =  6 */    176,    210,    665,    908,   1915,   2011, 
/* msg =    860, deg =  6 */    177,    211,    666,    909,   1916,   2012, 
/* msg =    861, deg =  6 */    178,    212,    667,    910,   1917,   2013, 
/* msg =    862, deg =  6 */    179,    213,    668,    911,   1918,   2014, 
/* msg =    863, deg =  6 */    180,    214,    669,    912,   1919,   2015, 
/* msg =    864, deg =  6 */    482,    709,    986,   1080,   2016,   2112, 
/* msg =    865, deg =  6 */    483,    710,    987,   1081,   2017,   2113, 
/* msg =    866, deg =  6 */    484,    711,    988,   1082,   2018,   2114, 
/* msg =    867, deg =  6 */    485,    712,    989,   1083,   2019,   2115, 
/* msg =    868, deg =  6 */    486,    713,    990,   1084,   2020,   2116, 
/* msg =    869, deg =  6 */    487,    714,    991,   1085,   2021,   2117, 
/* msg =    870, deg =  6 */    488,    715,    992,   1086,   2022,   2118, 
/* msg =    871, deg =  6 */    489,    716,    993,   1087,   2023,   2119, 
/* msg =    872, deg =  6 */    490,    717,    994,   1088,   2024,   2120, 
/* msg =    873, deg =  6 */    491,    718,    995,   1089,   2025,   2121, 
/* msg =    874, deg =  6 */    492,    719,    996,   1090,   2026,   2122, 
/* msg =    875, deg =  6 */    493,    720,    997,   1091,   2027,   2123, 
/* msg =    876, deg =  6 */    494,    721,    998,   1092,   2028,   2124, 
/* msg =    877, deg =  6 */    495,    722,    999,   1093,   2029,   2125, 
/* msg =    878, deg =  6 */    496,    723,   1000,   1094,   2030,   2126, 
/* msg =    879, deg =  6 */    497,    724,   1001,   1095,   2031,   2127, 
/* msg =    880, deg =  6 */    498,    725,   1002,   1096,   2032,   2128, 
/* msg =    881, deg =  6 */    499,    726,   1003,   1097,   2033,   2129, 
/* msg =    882, deg =  6 */    500,    727,   1004,   1098,   2034,   2130, 
/* msg =    883, deg =  6 */    501,    728,   1005,   1099,   2035,   2131, 
/* msg =    884, deg =  6 */    502,    729,   1006,   1100,   2036,   2132, 
/* msg =    885, deg =  6 */    503,    730,   1007,   1101,   2037,   2133, 
/* msg =    886, deg =  6 */    504,    731,   1008,   1102,   2038,   2134, 
/* msg =    887, deg =  6 */    505,    732,   1009,   1103,   2039,   2135, 
/* msg =    888, deg =  6 */    506,    733,   1010,   1104,   2040,   2136, 
/* msg =    889, deg =  6 */    507,    734,   1011,   1105,   2041,   2137, 
/* msg =    890, deg =  6 */    508,    735,   1012,   1106,   2042,   2138, 
/* msg =    891, deg =  6 */    509,    736,   1013,   1107,   2043,   2139, 
/* msg =    892, deg =  6 */    510,    737,   1014,   1108,   2044,   2140, 
/* msg =    893, deg =  6 */    511,    738,   1015,   1109,   2045,   2141, 
/* msg =    894, deg =  6 */    512,    739,   1016,   1110,   2046,   2142, 
/* msg =    895, deg =  6 */    513,    740,   1017,   1111,   2047,   2143, 
/* msg =    896, deg =  6 */    514,    741,   1018,   1112,   2048,   2144, 
/* msg =    897, deg =  6 */    515,    742,   1019,   1113,   2049,   2145, 
/* msg =    898, deg =  6 */    516,    743,   1020,   1114,   2050,   2146, 
/* msg =    899, deg =  6 */    517,    744,   1021,   1115,   2051,   2147, 
/* msg =    900, deg =  6 */    518,    745,   1022,   1116,   2052,   2148, 
/* msg =    901, deg =  6 */    519,    746,   1023,   1117,   2053,   2149, 
/* msg =    902, deg =  6 */    520,    747,   1024,   1118,   2054,   2150, 
/* msg =    903, deg =  6 */    521,    748,   1025,   1119,   2055,   2151, 
/* msg =    904, deg =  6 */    522,    749,   1026,   1120,   2056,   2152, 
/* msg =    905, deg =  6 */    523,    750,   1027,   1121,   2057,   2153, 
/* msg =    906, deg =  6 */    524,    751,   1028,   1122,   2058,   2154, 
/* msg =    907, deg =  6 */    525,    752,   1029,   1123,   2059,   2155, 
/* msg =    908, deg =  6 */    526,    753,   1030,   1124,   2060,   2156, 
/* msg =    909, deg =  6 */    527,    754,   1031,   1125,   2061,   2157, 
/* msg =    910, deg =  6 */    528,    755,   1032,   1126,   2062,   2158, 
/* msg =    911, deg =  6 */    529,    756,   1033,   1127,   2063,   2159, 
/* msg =    912, deg =  6 */    530,    757,   1034,   1128,   2064,   2160, 
/* msg =    913, deg =  6 */    531,    758,   1035,   1129,   2065,   2161, 
/* msg =    914, deg =  6 */    532,    759,   1036,   1130,   2066,   2162, 
/* msg =    915, deg =  6 */    533,    760,   1037,   1131,   2067,   2163, 
/* msg =    916, deg =  6 */    534,    761,   1038,   1132,   2068,   2164, 
/* msg =    917, deg =  6 */    535,    762,   1039,   1133,   2069,   2165, 
/* msg =    918, deg =  6 */    536,    763,   1040,   1134,   2070,   2166, 
/* msg =    919, deg =  6 */    537,    764,   1041,   1135,   2071,   2167, 
/* msg =    920, deg =  6 */    538,    765,   1042,   1136,   2072,   2168, 
/* msg =    921, deg =  6 */    539,    766,   1043,   1137,   2073,   2169, 
/* msg =    922, deg =  6 */    540,    767,   1044,   1138,   2074,   2170, 
/* msg =    923, deg =  6 */    541,    672,   1045,   1139,   2075,   2171, 
/* msg =    924, deg =  6 */    542,    673,   1046,   1140,   2076,   2172, 
/* msg =    925, deg =  6 */    543,    674,   1047,   1141,   2077,   2173, 
/* msg =    926, deg =  6 */    544,    675,   1048,   1142,   2078,   2174, 
/* msg =    927, deg =  6 */    545,    676,   1049,   1143,   2079,   2175, 
/* msg =    928, deg =  6 */    546,    677,   1050,   1144,   2080,   2176, 
/* msg =    929, deg =  6 */    547,    678,   1051,   1145,   2081,   2177, 
/* msg =    930, deg =  6 */    548,    679,   1052,   1146,   2082,   2178, 
/* msg =    931, deg =  6 */    549,    680,   1053,   1147,   2083,   2179, 
/* msg =    932, deg =  6 */    550,    681,   1054,   1148,   2084,   2180, 
/* msg =    933, deg =  6 */    551,    682,   1055,   1149,   2085,   2181, 
/* msg =    934, deg =  6 */    552,    683,    960,   1150,   2086,   2182, 
/* msg =    935, deg =  6 */    553,    684,    961,   1151,   2087,   2183, 
/* msg =    936, deg =  6 */    554,    685,    962,   1056,   2088,   2184, 
/* msg =    937, deg =  6 */    555,    686,    963,   1057,   2089,   2185, 
/* msg =    938, deg =  6 */    556,    687,    964,   1058,   2090,   2186, 
/* msg =    939, deg =  6 */    557,    688,    965,   1059,   2091,   2187, 
/* msg =    940, deg =  6 */    558,    689,    966,   1060,   2092,   2188, 
/* msg =    941, deg =  6 */    559,    690,    967,   1061,   2093,   2189, 
/* msg =    942, deg =  6 */    560,    691,    968,   1062,   2094,   2190, 
/* msg =    943, deg =  6 */    561,    692,    969,   1063,   2095,   2191, 
/* msg =    944, deg =  6 */    562,    693,    970,   1064,   2096,   2192, 
/* msg =    945, deg =  6 */    563,    694,    971,   1065,   2097,   2193, 
/* msg =    946, deg =  6 */    564,    695,    972,   1066,   2098,   2194, 
/* msg =    947, deg =  6 */    565,    696,    973,   1067,   2099,   2195, 
/* msg =    948, deg =  6 */    566,    697,    974,   1068,   2100,   2196, 
/* msg =    949, deg =  6 */    567,    698,    975,   1069,   2101,   2197, 
/* msg =    950, deg =  6 */    568,    699,    976,   1070,   2102,   2198, 
/* msg =    951, deg =  6 */    569,    700,    977,   1071,   2103,   2199, 
/* msg =    952, deg =  6 */    570,    701,    978,   1072,   2104,   2200, 
/* msg =    953, deg =  6 */    571,    702,    979,   1073,   2105,   2201, 
/* msg =    954, deg =  6 */    572,    703,    980,   1074,   2106,   2202, 
/* msg =    955, deg =  6 */    573,    704,    981,   1075,   2107,   2203, 
/* msg =    956, deg =  6 */    574,    705,    982,   1076,   2108,   2204, 
/* msg =    957, deg =  6 */    575,    706,    983,   1077,   2109,   2205, 
/* msg =    958, deg =  6 */    480,    707,    984,   1078,   2110,   2206, 
/* msg =    959, deg =  6 */    481,    708,    985,   1079,   2111,   2207, 
/* msg =    960, deg =  6 */    281,    319,    825,    911,   2112,   2208, 
/* msg =    961, deg =  6 */    282,    320,    826,    912,   2113,   2209, 
/* msg =    962, deg =  6 */    283,    321,    827,    913,   2114,   2210, 
/* msg =    963, deg =  6 */    284,    322,    828,    914,   2115,   2211, 
/* msg =    964, deg =  6 */    285,    323,    829,    915,   2116,   2212, 
/* msg =    965, deg =  6 */    286,    324,    830,    916,   2117,   2213, 
/* msg =    966, deg =  6 */    287,    325,    831,    917,   2118,   2214, 
/* msg =    967, deg =  6 */    192,    326,    832,    918,   2119,   2215, 
/* msg =    968, deg =  6 */    193,    327,    833,    919,   2120,   2216, 
/* msg =    969, deg =  6 */    194,    328,    834,    920,   2121,   2217, 
/* msg =    970, deg =  6 */    195,    329,    835,    921,   2122,   2218, 
/* msg =    971, deg =  6 */    196,    330,    836,    922,   2123,   2219, 
/* msg =    972, deg =  6 */    197,    331,    837,    923,   2124,   2220, 
/* msg =    973, deg =  6 */    198,    332,    838,    924,   2125,   2221, 
/* msg =    974, deg =  6 */    199,    333,    839,    925,   2126,   2222, 
/* msg =    975, deg =  6 */    200,    334,    840,    926,   2127,   2223, 
/* msg =    976, deg =  6 */    201,    335,    841,    927,   2128,   2224, 
/* msg =    977, deg =  6 */    202,    336,    842,    928,   2129,   2225, 
/* msg =    978, deg =  6 */    203,    337,    843,    929,   2130,   2226, 
/* msg =    979, deg =  6 */    204,    338,    844,    930,   2131,   2227, 
/* msg =    980, deg =  6 */    205,    339,    845,    931,   2132,   2228, 
/* msg =    981, deg =  6 */    206,    340,    846,    932,   2133,   2229, 
/* msg =    982, deg =  6 */    207,    341,    847,    933,   2134,   2230, 
/* msg =    983, deg =  6 */    208,    342,    848,    934,   2135,   2231, 
/* msg =    984, deg =  6 */    209,    343,    849,    935,   2136,   2232, 
/* msg =    985, deg =  6 */    210,    344,    850,    936,   2137,   2233, 
/* msg =    986, deg =  6 */    211,    345,    851,    937,   2138,   2234, 
/* msg =    987, deg =  6 */    212,    346,    852,    938,   2139,   2235, 
/* msg =    988, deg =  6 */    213,    347,    853,    939,   2140,   2236, 
/* msg =    989, deg =  6 */    214,    348,    854,    940,   2141,   2237, 
/* msg =    990, deg =  6 */    215,    349,    855,    941,   2142,   2238, 
/* msg =    991, deg =  6 */    216,    350,    856,    942,   2143,   2239, 
/* msg =    992, deg =  6 */    217,    351,    857,    943,   2144,   2240, 
/* msg =    993, deg =  6 */    218,    352,    858,    944,   2145,   2241, 
/* msg =    994, deg =  6 */    219,    353,    859,    945,   2146,   2242, 
/* msg =    995, deg =  6 */    220,    354,    860,    946,   2147,   2243, 
/* msg =    996, deg =  6 */    221,    355,    861,    947,   2148,   2244, 
/* msg =    997, deg =  6 */    222,    356,    862,    948,   2149,   2245, 
/* msg =    998, deg =  6 */    223,    357,    863,    949,   2150,   2246, 
/* msg =    999, deg =  6 */    224,    358,    768,    950,   2151,   2247, 
/* msg =   1000, deg =  6 */    225,    359,    769,    951,   2152,   2248, 
/* msg =   1001, deg =  6 */    226,    360,    770,    952,   2153,   2249, 
/* msg =   1002, deg =  6 */    227,    361,    771,    953,   2154,   2250, 
/* msg =   1003, deg =  6 */    228,    362,    772,    954,   2155,   2251, 
/* msg =   1004, deg =  6 */    229,    363,    773,    955,   2156,   2252, 
/* msg =   1005, deg =  6 */    230,    364,    774,    956,   2157,   2253, 
/* msg =   1006, deg =  6 */    231,    365,    775,    957,   2158,   2254, 
/* msg =   1007, deg =  6 */    232,    366,    776,    958,   2159,   2255, 
/* msg =   1008, deg =  6 */    233,    367,    777,    959,   2160,   2256, 
/* msg =   1009, deg =  6 */    234,    368,    778,    864,   2161,   2257, 
/* msg =   1010, deg =  6 */    235,    369,    779,    865,   2162,   2258, 
/* msg =   1011, deg =  6 */    236,    370,    780,    866,   2163,   2259, 
/* msg =   1012, deg =  6 */    237,    371,    781,    867,   2164,   2260, 
/* msg =   1013, deg =  6 */    238,    372,    782,    868,   2165,   2261, 
/* msg =   1014, deg =  6 */    239,    373,    783,    869,   2166,   2262, 
/* msg =   1015, deg =  6 */    240,    374,    784,    870,   2167,   2263, 
/* msg =   1016, deg =  6 */    241,    375,    785,    871,   2168,   2264, 
/* msg =   1017, deg =  6 */    242,    376,    786,    872,   2169,   2265, 
/* msg =   1018, deg =  6 */    243,    377,    787,    873,   2170,   2266, 
/* msg =   1019, deg =  6 */    244,    378,    788,    874,   2171,   2267, 
/* msg =   1020, deg =  6 */    245,    379,    789,    875,   2172,   2268, 
/* msg =   1021, deg =  6 */    246,    380,    790,    876,   2173,   2269, 
/* msg =   1022, deg =  6 */    247,    381,    791,    877,   2174,   2270, 
/* msg =   1023, deg =  6 */    248,    382,    792,    878,   2175,   2271, 
/* msg =   1024, deg =  6 */    249,    383,    793,    879,   2176,   2272, 
/* msg =   1025, deg =  6 */    250,    288,    794,    880,   2177,   2273, 
/* msg =   1026, deg =  6 */    251,    289,    795,    881,   2178,   2274, 
/* msg =   1027, deg =  6 */    252,    290,    796,    882,   2179,   2275, 
/* msg =   1028, deg =  6 */    253,    291,    797,    883,   2180,   2276, 
/* msg =   1029, deg =  6 */    254,    292,    798,    884,   2181,   2277, 
/* msg =   1030, deg =  6 */    255,    293,    799,    885,   2182,   2278, 
/* msg =   1031, deg =  6 */    256,    294,    800,    886,   2183,   2279, 
/* msg =   1032, deg =  6 */    257,    295,    801,    887,   2184,   2280, 
/* msg =   1033, deg =  6 */    258,    296,    802,    888,   2185,   2281, 
/* msg =   1034, deg =  6 */    259,    297,    803,    889,   2186,   2282, 
/* msg =   1035, deg =  6 */    260,    298,    804,    890,   2187,   2283, 
/* msg =   1036, deg =  6 */    261,    299,    805,    891,   2188,   2284, 
/* msg =   1037, deg =  6 */    262,    300,    806,    892,   2189,   2285, 
/* msg =   1038, deg =  6 */    263,    301,    807,    893,   2190,   2286, 
/* msg =   1039, deg =  6 */    264,    302,    808,    894,   2191,   2287, 
/* msg =   1040, deg =  6 */    265,    303,    809,    895,   2192,   2288, 
/* msg =   1041, deg =  6 */    266,    304,    810,    896,   2193,   2289, 
/* msg =   1042, deg =  6 */    267,    305,    811,    897,   2194,   2290, 
/* msg =   1043, deg =  6 */    268,    306,    812,    898,   2195,   2291, 
/* msg =   1044, deg =  6 */    269,    307,    813,    899,   2196,   2292, 
/* msg =   1045, deg =  6 */    270,    308,    814,    900,   2197,   2293, 
/* msg =   1046, deg =  6 */    271,    309,    815,    901,   2198,   2294, 
/* msg =   1047, deg =  6 */    272,    310,    816,    902,   2199,   2295, 
/* msg =   1048, deg =  6 */    273,    311,    817,    903,   2200,   2296, 
/* msg =   1049, deg =  6 */    274,    312,    818,    904,   2201,   2297, 
/* msg =   1050, deg =  6 */    275,    313,    819,    905,   2202,   2298, 
/* msg =   1051, deg =  6 */    276,    314,    820,    906,   2203,   2299, 
/* msg =   1052, deg =  6 */    277,    315,    821,    907,   2204,   2300, 
/* msg =   1053, deg =  6 */    278,    316,    822,    908,   2205,   2301, 
/* msg =   1054, deg =  6 */    279,    317,    823,    909,   2206,   2302, 
/* msg =   1055, deg =  6 */    280,    318,    824,    910,   2207,   2303, 
/* msg =   1056, deg =  6 */     53,    510,    727,   1126,   1241,   2208, 
/* msg =   1057, deg =  6 */     54,    511,    728,   1127,   1242,   2209, 
/* msg =   1058, deg =  6 */     55,    512,    729,   1128,   1243,   2210, 
/* msg =   1059, deg =  6 */     56,    513,    730,   1129,   1244,   2211, 
/* msg =   1060, deg =  6 */     57,    514,    731,   1130,   1245,   2212, 
/* msg =   1061, deg =  6 */     58,    515,    732,   1131,   1246,   2213, 
/* msg =   1062, deg =  6 */     59,    516,    733,   1132,   1247,   2214, 
/* msg =   1063, deg =  6 */     60,    517,    734,   1133,   1152,   2215, 
/* msg =   1064, deg =  6 */     61,    518,    735,   1134,   1153,   2216, 
/* msg =   1065, deg =  6 */     62,    519,    736,   1135,   1154,   2217, 
/* msg =   1066, deg =  6 */     63,    520,    737,   1136,   1155,   2218, 
/* msg =   1067, deg =  6 */     64,    521,    738,   1137,   1156,   2219, 
/* msg =   1068, deg =  6 */     65,    522,    739,   1138,   1157,   2220, 
/* msg =   1069, deg =  6 */     66,    523,    740,   1139,   1158,   2221, 
/* msg =   1070, deg =  6 */     67,    524,    741,   1140,   1159,   2222, 
/* msg =   1071, deg =  6 */     68,    525,    742,   1141,   1160,   2223, 
/* msg =   1072, deg =  6 */     69,    526,    743,   1142,   1161,   2224, 
/* msg =   1073, deg =  6 */     70,    527,    744,   1143,   1162,   2225, 
/* msg =   1074, deg =  6 */     71,    528,    745,   1144,   1163,   2226, 
/* msg =   1075, deg =  6 */     72,    529,    746,   1145,   1164,   2227, 
/* msg =   1076, deg =  6 */     73,    530,    747,   1146,   1165,   2228, 
/* msg =   1077, deg =  6 */     74,    531,    748,   1147,   1166,   2229, 
/* msg =   1078, deg =  6 */     75,    532,    749,   1148,   1167,   2230, 
/* msg =   1079, deg =  6 */     76,    533,    750,   1149,   1168,   2231, 
/* msg =   1080, deg =  6 */     77,    534,    751,   1150,   1169,   2232, 
/* msg =   1081, deg =  6 */     78,    535,    752,   1151,   1170,   2233, 
/* msg =   1082, deg =  6 */     79,    536,    753,   1056,   1171,   2234, 
/* msg =   1083, deg =  6 */     80,    537,    754,   1057,   1172,   2235, 
/* msg =   1084, deg =  6 */     81,    538,    755,   1058,   1173,   2236, 
/* msg =   1085, deg =  6 */     82,    539,    756,   1059,   1174,   2237, 
/* msg =   1086, deg =  6 */     83,    540,    757,   1060,   1175,   2238, 
/* msg =   1087, deg =  6 */     84,    541,    758,   1061,   1176,   2239, 
/* msg =   1088, deg =  6 */     85,    542,    759,   1062,   1177,   2240, 
/* msg =   1089, deg =  6 */     86,    543,    760,   1063,   1178,   2241, 
/* msg =   1090, deg =  6 */     87,    544,    761,   1064,   1179,   2242, 
/* msg =   1091, deg =  6 */     88,    545,    762,   1065,   1180,   2243, 
/* msg =   1092, deg =  6 */     89,    546,    763,   1066,   1181,   2244, 
/* msg =   1093, deg =  6 */     90,    547,    764,   1067,   1182,   2245, 
/* msg =   1094, deg =  6 */     91,    548,    765,   1068,   1183,   2246, 
/* msg =   1095, deg =  6 */     92,    549,    766,   1069,   1184,   2247, 
/* msg =   1096, deg =  6 */     93,    550,    767,   1070,   1185,   2248, 
/* msg =   1097, deg =  6 */     94,    551,    672,   1071,   1186,   2249, 
/* msg =   1098, deg =  6 */     95,    552,    673,   1072,   1187,   2250, 
/* msg =   1099, deg =  6 */      0,    553,    674,   1073,   1188,   2251, 
/* msg =   1100, deg =  6 */      1,    554,    675,   1074,   1189,   2252, 
/* msg =   1101, deg =  6 */      2,    555,    676,   1075,   1190,   2253, 
/* msg =   1102, deg =  6 */      3,    556,    677,   1076,   1191,   2254, 
/* msg =   1103, deg =  6 */      4,    557,    678,   1077,   1192,   2255, 
/* msg =   1104, deg =  6 */      5,    558,    679,   1078,   1193,   2256, 
/* msg =   1105, deg =  6 */      6,    559,    680,   1079,   1194,   2257, 
/* msg =   1106, deg =  6 */      7,    560,    681,   1080,   1195,   2258, 
/* msg =   1107, deg =  6 */      8,    561,    682,   1081,   1196,   2259, 
/* msg =   1108, deg =  6 */      9,    562,    683,   1082,   1197,   2260, 
/* msg =   1109, deg =  6 */     10,    563,    684,   1083,   1198,   2261, 
/* msg =   1110, deg =  6 */     11,    564,    685,   1084,   1199,   2262, 
/* msg =   1111, deg =  6 */     12,    565,    686,   1085,   1200,   2263, 
/* msg =   1112, deg =  6 */     13,    566,    687,   1086,   1201,   2264, 
/* msg =   1113, deg =  6 */     14,    567,    688,   1087,   1202,   2265, 
/* msg =   1114, deg =  6 */     15,    568,    689,   1088,   1203,   2266, 
/* msg =   1115, deg =  6 */     16,    569,    690,   1089,   1204,   2267, 
/* msg =   1116, deg =  6 */     17,    570,    691,   1090,   1205,   2268, 
/* msg =   1117, deg =  6 */     18,    571,    692,   1091,   1206,   2269, 
/* msg =   1118, deg =  6 */     19,    572,    693,   1092,   1207,   2270, 
/* msg =   1119, deg =  6 */     20,    573,    694,   1093,   1208,   2271, 
/* msg =   1120, deg =  6 */     21,    574,    695,   1094,   1209,   2272, 
/* msg =   1121, deg =  6 */     22,    575,    696,   1095,   1210,   2273, 
/* msg =   1122, deg =  6 */     23,    480,    697,   1096,   1211,   2274, 
/* msg =   1123, deg =  6 */     24,    481,    698,   1097,   1212,   2275, 
/* msg =   1124, deg =  6 */     25,    482,    699,   1098,   1213,   2276, 
/* msg =   1125, deg =  6 */     26,    483,    700,   1099,   1214,   2277, 
/* msg =   1126, deg =  6 */     27,    484,    701,   1100,   1215,   2278, 
/* msg =   1127, deg =  6 */     28,    485,    702,   1101,   1216,   2279, 
/* msg =   1128, deg =  6 */     29,    486,    703,   1102,   1217,   2280, 
/* msg =   1129, deg =  6 */     30,    487,    704,   1103,   1218,   2281, 
/* msg =   1130, deg =  6 */     31,    488,    705,   1104,   1219,   2282, 
/* msg =   1131, deg =  6 */     32,    489,    706,   1105,   1220,   2283, 
/* msg =   1132, deg =  6 */     33,    490,    707,   1106,   1221,   2284, 
/* msg =   1133, deg =  6 */     34,    491,    708,   1107,   1222,   2285, 
/* msg =   1134, deg =  6 */     35,    492,    709,   1108,   1223,   2286, 
/* msg =   1135, deg =  6 */     36,    493,    710,   1109,   1224,   2287, 
/* msg =   1136, deg =  6 */     37,    494,    711,   1110,   1225,   2288, 
/* msg =   1137, deg =  6 */     38,    495,    712,   1111,   1226,   2289, 
/* msg =   1138, deg =  6 */     39,    496,    713,   1112,   1227,   2290, 
/* msg =   1139, deg =  6 */     40,    497,    714,   1113,   1228,   2291, 
/* msg =   1140, deg =  6 */     41,    498,    715,   1114,   1229,   2292, 
/* msg =   1141, deg =  6 */     42,    499,    716,   1115,   1230,   2293, 
/* msg =   1142, deg =  6 */     43,    500,    717,   1116,   1231,   2294, 
/* msg =   1143, deg =  6 */     44,    501,    718,   1117,   1232,   2295, 
/* msg =   1144, deg =  6 */     45,    502,    719,   1118,   1233,   2296, 
/* msg =   1145, deg =  6 */     46,    503,    720,   1119,   1234,   2297, 
/* msg =   1146, deg =  6 */     47,    504,    721,   1120,   1235,   2298, 
/* msg =   1147, deg =  6 */     48,    505,    722,   1121,   1236,   2299, 
/* msg =   1148, deg =  6 */     49,    506,    723,   1122,   1237,   2300, 
/* msg =   1149, deg =  6 */     50,    507,    724,   1123,   1238,   2301, 
/* msg =   1150, deg =  6 */     51,    508,    725,   1124,   1239,   2302, 
/* msg =   1151, deg =  6 */     52,    509,    726,   1125,   1240,   2303
};
